org.qedeq.kernel.bo.logic.model

Classes

CalculateTruthDynamicThreeModelTest
CalculateTruthDynamicUnaryModelTest
CalculateTruthThreeModelTest
CalculateTruthUnaryModelTest
DynamicDirectInterpreterTest
DynamicInterpreterTest
FunctionVariableTest
ModelFunctionConstantTest
ModelPredicateConstantTest
OperatorTest
PredicateVariableTest