Package owl.ltl

Class BooleanConstant

java.lang.Object

owl.ltl.Formula

owl.ltl.Formula.PropositionalOperator

owl.ltl.BooleanConstant

All Implemented Interfaces:

Comparable<Formula>

public final class BooleanConstant
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

Field Summary

Fields

Modifier and Type	Field	Description
static BooleanConstant	FALSE
static BooleanConstant	TRUE
boolean	value

Fields inherited from class owl.ltl.Formula

operands

Method Summary

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)
protected int	compareValue(Formula o)
protected boolean	equalsValue(Formula o)
boolean	isPureEventual()
boolean	isPureUniversal()
Formula	nnf()
BooleanConstant	not()	Syntactically negate this formula.
static BooleanConstant	of(boolean value)
Formula	substitute(Function<? super Formula.TemporalOperator,? extends Formula> substitution)
Formula	temporalStep(BitSet valuation)	Do a single temporal step.
String	toString()

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

Methods inherited from class java.lang.Object

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

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)

Specified by:

accept in class Formula

accept

public <R> R accept(Visitor<R> v)

Specified by:

accept in class Formula

accept

public <A,B> A accept(BinaryVisitor<B,A> v,
                            B parameter)

Specified by:

accept in class Formula

isPureEventual

public boolean isPureEventual()

Specified by:

isPureEventual in class Formula

isPureUniversal

public boolean isPureUniversal()

Specified by:

isPureUniversal in class Formula

nnf

public Formula nnf()

Specified by:

nnf in class Formula

not

@Nonnull
public BooleanConstant not()

Description copied from class: Formula

Syntactically negate this formula.

If this formula is in NNF, the returned negation will also be in NNF.

Specified by:

not in class Formula

Returns:

the negation of this formula.

temporalStep

public Formula temporalStep(BitSet valuation)

Description copied from class: 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 class Formula

substitute

public Formula substitute(Function<? super Formula.TemporalOperator,? extends Formula> substitution)

Specified by:

substitute in class Formula

toString

public String toString()

Overrides:

toString in class Object

compareValue

protected int compareValue(Formula o)

Overrides:

compareValue in class Formula

equalsValue

protected boolean equalsValue(Formula o)

Overrides:

equalsValue in class Formula