QuickAddConjunction (LTL2Automaton)

java.lang.Object
- org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction

public class QuickAddConjunction
extends java.lang.Object
implements Conjunction

Fields
Modifier and Type	Field and Description
`protected char`	`nextName`

Constructors
Constructor and Description
`QuickAddConjunction(UnsortedTreeConjunction base)`
`QuickAddConjunction(UnsortedTreeConjunction base, java.util.Collection<Formula> formulas)`
`QuickAddConjunction(UnsortedTreeConjunction base, Formula f)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`add(Formula term)`
`void`	`balance()`
`Automaton`	`getAutomaton()`
`static ConjunctionFactory<? extends QuickAddConjunction>`	`getFactory(ConjunctionFactory<? extends UnsortedTreeConjunction> base)`
`java.util.Iterator<Formula>`	`iterator()`
`void`	`remove(Formula term)`
`void`	`setAll(java.util.Collection<Formula> terms)`
`void`	`setAll(Formula terms)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public QuickAddConjunction(UnsortedTreeConjunction base)

public QuickAddConjunction(UnsortedTreeConjunction base,
                           java.util.Collection<Formula> formulas)

public QuickAddConjunction(UnsortedTreeConjunction base,
                           Formula f)

public static ConjunctionFactory<? extends QuickAddConjunction> getFactory(ConjunctionFactory<? extends UnsortedTreeConjunction> base)

public void add(Formula term)
         throws javax.naming.OperationNotSupportedException

public void remove(Formula term)
            throws javax.naming.OperationNotSupportedException

public void setAll(java.util.Collection<Formula> terms)

Class QuickAddConjunction