Package owl.ltl
Class BooleanConstant
- java.lang.Object
-
- owl.ltl.Formula
-
- owl.ltl.Formula.LogicalOperator
-
- owl.ltl.BooleanConstant
-
- All Implemented Interfaces:
Comparable<Formula>
public final class BooleanConstant extends Formula.LogicalOperator
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class owl.ltl.Formula
Formula.LogicalOperator, Formula.ModalOperator, Formula.TemporalOperator
-
-
Field Summary
Fields Modifier and Type Field Description static BooleanConstantFALSEstatic BooleanConstantTRUEbooleanvalue
-
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)Set<Formula>children()protected intcompareToImpl(Formula o)protected booleanequalsImpl(Formula o)booleanisPureEventual()booleanisPureUniversal()Formulannf()BooleanConstantnot()Syntactically negate this formula.static BooleanConstantof(boolean value)Formulasubstitute(Function<? super Formula.TemporalOperator,? extends Formula> substitution)StringtoString()-
Methods inherited from class owl.ltl.Formula.LogicalOperator
temporalStep, temporalStep, temporalStep, temporalStepUnfold, unfold, unfoldTemporalStep
-
Methods inherited from class owl.ltl.Formula
allMatch, anyMatch, atomicPropositions, compareTo, equals, hashCode, height, isSuspendable, subformulas, subformulas, subformulas
-
-
-
-
Field Detail
-
FALSE
public static final BooleanConstant FALSE
-
TRUE
public static final BooleanConstant TRUE
-
value
public final boolean value
-
-
Method Detail
-
of
public static BooleanConstant of(boolean value)
-
accept
public int accept(IntVisitor v)
-
accept
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
-
isPureEventual
public boolean isPureEventual()
- Specified by:
isPureEventualin classFormula
-
isPureUniversal
public boolean isPureUniversal()
- Specified by:
isPureUniversalin classFormula
-
not
@Nonnull public BooleanConstant not()
Description copied from class:FormulaSyntactically negate this formula.If this formula is in NNF, the returned negation will also be in NNF.
-
substitute
public Formula substitute(Function<? super Formula.TemporalOperator,? extends Formula> substitution)
- Specified by:
substitutein classFormula
-
compareToImpl
protected int compareToImpl(Formula o)
- Specified by:
compareToImplin classFormula
-
equalsImpl
protected boolean equalsImpl(Formula o)
- Specified by:
equalsImplin classFormula
-
-