org.qedeq.kernel.bo.logic.wf
Loading...
Test Case % Success
AbstractFormulaChecker AbstractFormulaChecker -1.0 ( - )
FormulaCheckerClassTermTest FormulaCheckerClassTermTest -1.0 ( - )
FormulaCheckerContextTest FormulaCheckerContextTest 1.0 (100%)
FormulaCheckerFormulaTest FormulaCheckerFormulaTest -1.0 ( - )
FormulaCheckerFunctionTermTest FormulaCheckerFunctionTermTest -1.0 ( - )
FormulaCheckerGlobalTest FormulaCheckerGlobalTest -1.0 ( - )
FormulaCheckerLogicalConnectivesTest FormulaCheckerLogicalConnectivesTest -1.0 ( - )
FormulaCheckerNegationTest FormulaCheckerNegationTest -1.0 ( - )
FormulaCheckerPredicateFormulaTest FormulaCheckerPredicateFormulaTest -1.0 ( - )
FormulaCheckerQuantifiersTest FormulaCheckerQuantifiersTest -1.0 ( - )
FormulaCheckerSubjectVariableTest FormulaCheckerSubjectVariableTest -1.0 ( - )
FormulaCheckerTermTest FormulaCheckerTermTest -1.0 ( - )
FormulaCheckerTest FormulaCheckerTest -1.0 ( - )
TestFormulaCheckerFactoryImpl TestFormulaCheckerFactoryImpl -1.0 ( - )
TestFormulaCheckerImpl TestFormulaCheckerImpl -1.0 ( - )