Package owl.ltl
Class Literal
- java.lang.Object
-
- owl.ltl.Formula
-
- owl.ltl.Formula.PropositionalOperator
-
- owl.ltl.Literal
-
- All Implemented Interfaces:
Comparable<Formula>
public final class Literal extends Formula.PropositionalOperator
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class owl.ltl.Formula
Formula.BinaryTemporalOperator, Formula.NaryPropositionalOperator, Formula.PropositionalOperator, Formula.TemporalOperator, Formula.UnaryTemporalOperator
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description <A,B>
Aaccept(BinaryVisitor<B,A> v, B parameter)intaccept(IntVisitor v)<R> Raccept(Visitor<R> v)protected intcompareValue(Formula o)protected booleanequalsValue(Formula o)intgetAtom()booleanisNegated()booleanisPureEventual()booleanisPureUniversal()Formulannf()Literalnot()Syntactically negate this formula.static Literalof(int index)static Literalof(int index, boolean negate)Formulasubstitute(Function<? super Formula.TemporalOperator,? extends Formula> substitution)FormulatemporalStep(BitSet valuation)Do a single temporal step.StringtoString()-
Methods inherited from class owl.ltl.Formula.PropositionalOperator
unfold
-
Methods inherited from class owl.ltl.Formula
allMatch, anyMatch, atomicPropositions, compareTo, equals, hashCode, height, isSuspendable, subformulas, subformulas, subformulas
-
-
-
-
Method Detail
-
of
public static Literal of(@Nonnegative int index)
-
of
public static Literal of(@Nonnegative int index, boolean negate)
-
temporalStep
public Formula temporalStep(BitSet valuation)
Description copied from class:FormulaDo a single temporal step. This means that one layer of X-operators is removed and literals are replaced by their valuations.- Specified by:
temporalStepin classFormula
-
substitute
public Formula substitute(Function<? super Formula.TemporalOperator,? extends Formula> substitution)
- Specified by:
substitutein classFormula
-
accept
public int accept(IntVisitor v)
-
accept
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
-
getAtom
public int getAtom()
-
isNegated
public boolean isNegated()
-
isPureEventual
public boolean isPureEventual()
- Specified by:
isPureEventualin classFormula
-
isPureUniversal
public boolean isPureUniversal()
- Specified by:
isPureUniversalin classFormula
-
not
public Literal not()
Description copied from class:FormulaSyntactically negate this formula.If this formula is in NNF, the returned negation will also be in NNF.
-
compareValue
protected int compareValue(Formula o)
- Overrides:
compareValuein classFormula
-
equalsValue
protected boolean equalsValue(Formula o)
- Overrides:
equalsValuein classFormula
-
-