Package owl.translations.mastertheorem
Class Fixpoints
- java.lang.Object
-
- owl.translations.mastertheorem.Fixpoints
-
- All Implemented Interfaces:
Comparable<Fixpoints>
@Immutable public abstract class Fixpoints extends Object implements Comparable<Fixpoints>
-
-
Constructor Summary
Constructors Constructor Description Fixpoints()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description boolean
allFixpointsPresent(Collection<? extends Formula.ModalOperator> formulas)
protected void
check()
int
compareTo(Fixpoints that)
abstract boolean
equals(Object o)
Set<Formula.ModalOperator>
fixpoints()
abstract Set<Formula.ModalOperator>
greatestFixpoints()
abstract int
hashCode()
abstract Set<Formula.ModalOperator>
leastFixpoints()
static Fixpoints
of(Collection<? extends Formula.ModalOperator> fixpoints)
static Fixpoints
of(Collection<? extends Formula.ModalOperator> leastFixpoints, Collection<? extends Formula.ModalOperator> greatestFixpoints)
Fixpoints
simplified()
-
-
-
Method Detail
-
leastFixpoints
public abstract Set<Formula.ModalOperator> leastFixpoints()
-
greatestFixpoints
public abstract Set<Formula.ModalOperator> greatestFixpoints()
-
of
public static Fixpoints of(Collection<? extends Formula.ModalOperator> leastFixpoints, Collection<? extends Formula.ModalOperator> greatestFixpoints)
-
of
public static Fixpoints of(Collection<? extends Formula.ModalOperator> fixpoints)
-
allFixpointsPresent
public boolean allFixpointsPresent(Collection<? extends Formula.ModalOperator> formulas)
-
check
@Check protected void check()
-
compareTo
public int compareTo(Fixpoints that)
- Specified by:
compareTo
in interfaceComparable<Fixpoints>
-
fixpoints
@Lazy public Set<Formula.ModalOperator> fixpoints()
-
simplified
@Lazy public Fixpoints simplified()
-
-