org.qedeq.kernel.bo.logic.wf

Classes

FormulaCheckerClassTermTest
FormulaCheckerContextTest
FormulaCheckerFormulaTest
FormulaCheckerFunctionTermTest
FormulaCheckerGlobalTest
FormulaCheckerLogicalConnectivesTest
FormulaCheckerNegationTest
FormulaCheckerPredicateFormulaTest
FormulaCheckerQuantifiersTest
FormulaCheckerSubjectVariableTest
FormulaCheckerTermTest
FormulaCheckerTest