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_FIXPOINT
static Predicate<Formula>	IS_GREATEST_FIXPOINT
static Predicate<Formula>	IS_LEAST_FIXPOINT

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

IS_LEAST_FIXPOINT

public static final Predicate<Formula> IS_LEAST_FIXPOINT

IS_GREATEST_FIXPOINT

public static final Predicate<Formula> IS_GREATEST_FIXPOINT

IS_FIXPOINT

public static final Predicate<Formula> IS_FIXPOINT