Package owl.ltl

Class Conjunction

java.lang.Object

owl.ltl.Formula

owl.ltl.Formula.PropositionalOperator

owl.ltl.Formula.NaryPropositionalOperator

owl.ltl.Conjunction

All Implemented Interfaces:

Comparable<Formula>

public final class Conjunction
extends Formula.NaryPropositionalOperator

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 inherited from class owl.ltl.Formula

operands

Constructor Summary

Constructors

Constructor	Description
Conjunction(Collection<? extends Formula> conjuncts)
Conjunction(Formula... conjuncts)

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)
Formula	nnf()
Formula	not()	Syntactically negate this formula.
static Formula	of(Collection<? extends Formula> collection)
static Formula	of(Stream<? extends Formula> stream)
static Formula	of(Formula... formulas)
static Formula	of(Formula e1, Formula e2)
protected String	operatorSymbol()
Formula	substitute(Function<? super Formula.TemporalOperator,? extends Formula> substitution)
Formula	temporalStep(BitSet valuation)	Do a single temporal step.

Methods inherited from class owl.ltl.Formula.NaryPropositionalOperator

isPureEventual, isPureUniversal, map, mapInternal, sortedList, toString

Methods inherited from class owl.ltl.Formula.PropositionalOperator

unfold

Methods inherited from class owl.ltl.Formula

allMatch, anyMatch, atomicPropositions, compareTo, compareValue, equals, equalsValue, hashCode, height, isSuspendable, subformulas, subformulas, subformulas

Methods inherited from class java.lang.Object

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

Constructor Detail

Conjunction

public Conjunction(Formula... conjuncts)

Conjunction

public Conjunction(Collection<? extends Formula> conjuncts)

Method Detail

of

public static Formula of(Formula e1,
                         Formula e2)

of

public static Formula of(Formula... formulas)

of

public static Formula of(Collection<? extends Formula> collection)

of

public static Formula of(Stream<? extends Formula> stream)

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

nnf

public Formula nnf()

Specified by:

nnf in class Formula

not

public Formula 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.

substitute

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

Specified by:

substitute in class 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

operatorSymbol

protected String operatorSymbol()

Specified by:

operatorSymbol in class Formula.NaryPropositionalOperator