org.qedeq.kernel.bo.logic.common
Loading...
Test Case % Success
FormulaUtilityReplaceOperatorVariableTest FormulaUtilityReplaceOperatorVariableTest 1.0 (100%)
FormulaUtilityReplaceSubjectVariableQuantifierTest FormulaUtilityReplaceSubjectVariableQuantifierTest 1.0 (100%)