thank you for your performance check. I will check this in detail for the next version. However, I can see the problem is in
Antecedent::activationDegree(), where there are a few
dynamic_cast<> that could be removed by adding the necessary methods to check the type of
Expression. I am not sure what
dynamic_cast you changed for
static_cast, and this should be done very carefully. If you are interested in performing some changes that I have in mind, and then measuring the performance, I could provide more details. Let me know. The changes I am thinking of involve removing the
Antecedent::activationDegree(). They should improve the performance.