Package owl.translations.mastertheorem
Class Predicates
- java.lang.Object
-
- owl.translations.mastertheorem.Predicates
-
public final class Predicates extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static Predicate<Formula>IS_FIXPOINTstatic Predicate<Formula>IS_GREATEST_FIXPOINTstatic Predicate<Formula>IS_LEAST_FIXPOINT
-