org.qedeq.kernel.bo.logic.model
Classes
CalculateTruthDynamicThreeModelTest
CalculateTruthDynamicUnaryModelTest
CalculateTruthThreeModelTest
CalculateTruthUnaryModelTest
DynamicDirectInterpreterTest
DynamicInterpreterTest
FunctionVariableTest
ModelFunctionConstantTest
ModelPredicateConstantTest
OperatorTest
PredicateVariableTest