org.qedeq.kernel.bo.logic.wf
Loading...
Class Coverage    
AbstractFormulaChecker AbstractFormulaChecker 0.6935484 (69.4%)
FormulaCheckerClassTermTest FormulaCheckerClassTermTest 1.0 (100%)
FormulaCheckerContextTest FormulaCheckerContextTest 0.94957983 (95%)
FormulaCheckerFormulaTest FormulaCheckerFormulaTest 1.0 (100%)
FormulaCheckerFunctionTermTest FormulaCheckerFunctionTermTest 1.0 (100%)
FormulaCheckerGlobalTest FormulaCheckerGlobalTest 0.53571427 (53.6%)
FormulaCheckerLogicalConnectivesTest FormulaCheckerLogicalConnectivesTest 1.0 (100%)
FormulaCheckerNegationTest FormulaCheckerNegationTest 1.0 (100%)
FormulaCheckerPredicateFormulaTest FormulaCheckerPredicateFormulaTest 1.0 (100%)
FormulaCheckerQuantifiersTest FormulaCheckerQuantifiersTest 1.0 (100%)
FormulaCheckerSubjectVariableTest FormulaCheckerSubjectVariableTest 1.0 (100%)
FormulaCheckerTermTest FormulaCheckerTermTest 1.0 (100%)
FormulaCheckerTest FormulaCheckerTest 1.0 (100%)
TestFormulaCheckerFactoryImpl TestFormulaCheckerFactoryImpl 1.0 (100%)
TestFormulaCheckerImpl TestFormulaCheckerImpl 0.4375 (43.8%)