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

Modifier and Type	Method	Description
boolean	allFixpointsPresent(Collection<? extends Formula.TemporalOperator> formulas)
int	compareTo(Fixpoints that)
abstract boolean	equals(Object o)
Set<Formula.TemporalOperator>	fixpoints()
abstract Set<Formula.TemporalOperator>	greatestFixpoints()
abstract int	hashCode()
abstract Set<Formula.TemporalOperator>	leastFixpoints()
static Fixpoints	of(Collection<? extends Formula.TemporalOperator> fixpoints)
static Fixpoints	of(Collection<? extends Formula.TemporalOperator> leastFixpoints, Collection<? extends Formula.TemporalOperator> greatestFixpoints)
Fixpoints	simplified()

Methods inherited from class java.lang.Object

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

Constructor Detail

Fixpoints

public Fixpoints()

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:

compareTo in interface Comparable<Fixpoints>

equals

public abstract boolean equals(Object o)

Overrides:

equals in class Object

fixpoints

@Memoized
public Set<Formula.TemporalOperator> fixpoints()

hashCode

@Memoized
public abstract int hashCode()

Overrides:

hashCode in class Object

simplified

@Memoized
public Fixpoints simplified()