Class Hierarchy
- java.lang.Object
- ai.libs.jaicore.logic.fol.theories.set.ContainsPredicate (implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate)
- ai.libs.jaicore.logic.fol.theories.set.NotEmptyPredicate (implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate)
- ai.libs.jaicore.logic.fol.theories.set.OneItemPredicate (implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate)
- ai.libs.jaicore.logic.fol.theories.set.PartitionPredicate (implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate)
- ai.libs.jaicore.logic.fol.theories.set.SetTheoryUtil