org.qedeq.kernel.bo.logic.model
Loading...
Test Case % Success
CalculateTruth CalculateTruth -1.0 ( - )
CalculateTruthDynamicThreeModelTest CalculateTruthDynamicThreeModelTest 1.0 (100%)
CalculateTruthDynamicUnaryModelTest CalculateTruthDynamicUnaryModelTest 1.0 (100%)
CalculateTruthTestCase CalculateTruthTestCase -1.0 ( - )
CalculateTruthThreeModelTest CalculateTruthThreeModelTest 1.0 (100%)
CalculateTruthUnaryModelTest CalculateTruthUnaryModelTest 1.0 (100%)
DynamicDirectInterpreterTest DynamicDirectInterpreterTest 1.0 (100%)
DynamicInterpreter DynamicInterpreter -1.0 ( - )
DynamicInterpreterTest DynamicInterpreterTest 1.0 (100%)
FunctionVariableTest FunctionVariableTest 1.0 (100%)
Interpreter Interpreter -1.0 ( - )
ModelFunctionConstantTest ModelFunctionConstantTest 1.0 (100%)
ModelPredicateConstantTest ModelPredicateConstantTest 1.0 (100%)
OperatorTest OperatorTest 1.0 (100%)
OperatorTest.MyOperator OperatorTest.MyOperator -1.0 ( - )
PredicateVariableTest PredicateVariableTest 1.0 (100%)
ThreeModel ThreeModel -1.0 ( - )
UnaryModel UnaryModel -1.0 ( - )