org.qedeq.kernel.bo.logic.wf
Classes
FormulaCheckerClassTermTest
FormulaCheckerContextTest
FormulaCheckerFormulaTest
FormulaCheckerFunctionTermTest
FormulaCheckerGlobalTest
FormulaCheckerLogicalConnectivesTest
FormulaCheckerNegationTest
FormulaCheckerPredicateFormulaTest
FormulaCheckerQuantifiersTest
FormulaCheckerSubjectVariableTest
FormulaCheckerTermTest
FormulaCheckerTest