|
DefaultExistenceChecker
(83,8%) ElementCheckException (50%) EqualFormula (0%) EqualFormulaSet (0%) EverythingExists (76,5%) FormulaCheckException (50%) FormulaChecker (94,9%) Function (72,7%) LogicalCheckException (30%) LogicalEquivalence (0%) Predicate (72,7%) TermCheckException (50%) |