Package owl.ltl
Class BooleanConstant
- java.lang.Object
-
- owl.ltl.BooleanConstant
-
-
Field Summary
Fields Modifier and Type Field Description static BooleanConstant
FALSE
static BooleanConstant
TRUE
boolean
value
-
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)
boolean
equals(Object o)
int
hashCode()
boolean
isPureEventual()
boolean
isPureUniversal()
boolean
isSuspendable()
Formula
nnf()
BooleanConstant
not()
Syntactically negate this formula.static BooleanConstant
of(boolean value)
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.
-
-
-
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:
isPureEventual
in interfaceFormula
-
isPureUniversal
public boolean isPureUniversal()
- Specified by:
isPureUniversal
in interfaceFormula
-
isSuspendable
public boolean isSuspendable()
- Specified by:
isSuspendable
in interfaceFormula
-
not
@Nonnull public BooleanConstant not()
Description copied from interface:Formula
Syntactically negate this formula.If this formula is in NNF, the returned negation will also be in NNF.
-
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.- Specified by:
temporalStep
in interfaceFormula
-
temporalStepUnfold
public Formula temporalStepUnfold(BitSet valuation)
Description copied from interface:Formula
Short-cut operation to avoid intermediate construction of formula ASTs.- Specified by:
temporalStepUnfold
in interfaceFormula
-
unfoldTemporalStep
public Formula unfoldTemporalStep(BitSet valuation)
Description copied from interface:Formula
Short-cut operation to avoid intermediate construction of formula ASTs.- Specified by:
unfoldTemporalStep
in interfaceFormula
-
-