Package owl.translations.mastertheorem
Class Fixpoints
- java.lang.Object
-
- owl.translations.mastertheorem.Fixpoints
-
- All Implemented Interfaces:
Comparable<Fixpoints>
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 booleanallFixpointsPresent(Collection<? extends Formula.TemporalOperator> formulas)intcompareTo(Fixpoints that)abstract booleanequals(Object o)Set<Formula.TemporalOperator>fixpoints()abstract Set<Formula.TemporalOperator>greatestFixpoints()abstract inthashCode()abstract Set<Formula.TemporalOperator>leastFixpoints()static Fixpointsof(Collection<? extends Formula.TemporalOperator> fixpoints)static Fixpointsof(Collection<? extends Formula.TemporalOperator> leastFixpoints, Collection<? extends Formula.TemporalOperator> greatestFixpoints)Fixpointssimplified()
-
-
-
Method Detail
-
leastFixpoints
public abstract Set<Formula.TemporalOperator> leastFixpoints()
-
greatestFixpoints
public abstract Set<Formula.TemporalOperator> greatestFixpoints()
-
of
public static Fixpoints of(Collection<? extends Formula.TemporalOperator> leastFixpoints, Collection<? extends Formula.TemporalOperator> greatestFixpoints)
-
of
public static Fixpoints of(Collection<? extends Formula.TemporalOperator> fixpoints)
-
allFixpointsPresent
public boolean allFixpointsPresent(Collection<? extends Formula.TemporalOperator> formulas)
-
compareTo
public int compareTo(Fixpoints that)
- Specified by:
compareToin interfaceComparable<Fixpoints>
-
fixpoints
@Memoized public Set<Formula.TemporalOperator> fixpoints()
-
simplified
@Memoized public Fixpoints simplified()
-
-