Package owl.ltl
Class Disjunction
- java.lang.Object
-
- owl.ltl.AbstractFormula
-
- owl.ltl.PropositionalFormula
-
- owl.ltl.Disjunction
-
- All Implemented Interfaces:
Formula
public final class Disjunction extends PropositionalFormula
-
-
Field Summary
-
Fields inherited from class owl.ltl.PropositionalFormula
children
-
-
Constructor Summary
Constructors Constructor Description Disjunction(Collection<? extends Formula> disjuncts)Disjunction(Stream<? extends Formula> formulaStream)Disjunction(Formula... disjuncts)
-
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 chargetOperator()protected inthashCodeOnce()Formulannf()Formulanot()Syntactically negate this formula.static Formulaof(Iterable<? extends Formula> iterable)static Formulaof(Iterator<? extends Formula> iterator)static Formulaof(Stream<? extends Formula> stream)static Formulaof(Formula... formulas)static Formulaof(Formula left, Formula right)FormulatemporalStep(BitSet valuation)Do a single temporal step.FormulatemporalStepUnfold(BitSet valuation)Short-cut operation to avoid intermediate construction of formula ASTs.Formulaunfold()FormulaunfoldTemporalStep(BitSet valuation)Short-cut operation to avoid intermediate construction of formula ASTs.-
Methods inherited from class owl.ltl.AbstractFormula
equals, hashCode
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from class owl.ltl.PropositionalFormula
allMatch, anyMatch, equals2, forEach, isPureEventual, isPureUniversal, isSuspendable, map, shortCircuit, toString
-
-
-
-
Constructor Detail
-
Disjunction
public Disjunction(Collection<? extends Formula> disjuncts)
-
Disjunction
public Disjunction(Formula... disjuncts)
-
-
Method Detail
-
accept
public int accept(IntVisitor v)
-
accept
public <R> R accept(Visitor<R> v)
-
accept
public <A,B> A accept(BinaryVisitor<B,A> v, B parameter)
-
getOperator
protected char getOperator()
- Specified by:
getOperatorin classPropositionalFormula
-
hashCodeOnce
protected int hashCodeOnce()
- Specified by:
hashCodeOncein classAbstractFormula
-
nnf
public Formula nnf()
-
not
public Formula not()
Description copied from interface:FormulaSyntactically negate this formula.If this formula is in NNF, the returned negation will also be in NNF.
- Returns:
- the negation of this formula.
-
temporalStep
public Formula temporalStep(BitSet valuation)
Description copied from interface:FormulaDo a single temporal step. This means that one layer of X-operators is removed and literals are replaced by their valuations.
-
temporalStepUnfold
public Formula temporalStepUnfold(BitSet valuation)
Description copied from interface:FormulaShort-cut operation to avoid intermediate construction of formula ASTs.
-
unfold
public Formula unfold()
-
-