Package owl.ltl
Class Literal
- java.lang.Object
-
- owl.ltl.AbstractFormula
-
- owl.ltl.Literal
-
- All Implemented Interfaces:
Formula
public final class Literal extends AbstractFormula
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description <A,B> A
accept(BinaryVisitor<B,A> v, B parameter)
int
accept(IntVisitor v)
<R> R
accept(Visitor<R> v)
boolean
allMatch(Predicate<Formula> predicate)
boolean
anyMatch(Predicate<Formula> predicate)
protected boolean
equals2(AbstractFormula o)
int
getAtom()
protected int
hashCodeOnce()
boolean
isNegated()
boolean
isPureEventual()
boolean
isPureUniversal()
boolean
isSuspendable()
Formula
nnf()
Literal
not()
Syntactically negate this formula.static Literal
of(int index, boolean negate)
Formula
temporalStep(BitSet valuation)
Do a single temporal step.Formula
temporalStepUnfold(BitSet valuation)
Short-cut operation to avoid intermediate construction of formula ASTs.String
toString()
Formula
unfold()
Formula
unfoldTemporalStep(BitSet valuation)
Short-cut operation to avoid intermediate construction of formula ASTs.-
Methods inherited from class owl.ltl.AbstractFormula
equals, hashCode
-
-
-
-
Constructor Detail
-
Literal
public Literal(@Nonnegative int index)
-
Literal
public Literal(@Nonnegative int index, boolean negate)
-
-
Method Detail
-
of
public static Literal of(int index, boolean negate)
-
accept
public int accept(IntVisitor v)
-
accept
public <R> R accept(Visitor<R> v)
-
accept
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
-
equals2
protected boolean equals2(AbstractFormula o)
- Specified by:
equals2
in classAbstractFormula
-
getAtom
public int getAtom()
-
hashCodeOnce
protected int hashCodeOnce()
- Specified by:
hashCodeOnce
in classAbstractFormula
-
isNegated
public boolean isNegated()
-
isPureEventual
public boolean isPureEventual()
-
isPureUniversal
public boolean isPureUniversal()
-
isSuspendable
public boolean isSuspendable()
-
nnf
public Formula nnf()
-
not
public Literal not()
Description copied from interface:Formula
Syntactically negate this formula.If this formula is in NNF, the returned negation will also be in NNF.
- Returns:
- the negation of this formula.
-
temporalStep
public Formula temporalStep(BitSet valuation)
Description copied from interface:Formula
Do a single temporal step. This means that one layer of X-operators is removed and literals are replaced by their valuations.
-
temporalStepUnfold
public Formula temporalStepUnfold(BitSet valuation)
Description copied from interface:Formula
Short-cut operation to avoid intermediate construction of formula ASTs.
-
unfold
public Formula unfold()
-
-