Index (LTL2Automaton)

A B C D E F G H I L M N O P Q R S T U W Y _

A

acceptsAllInit(Map<ConjunctionTreeNode, Automaton>, Formula) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.FormulaTools
action_obj - Variable in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Instance of action encapsulation class.
action_table() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Access to parse-action table.
add(Formula) - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.Conjunction
add(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
add(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
add(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
addAllTransition(Object, Object) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
addAllTransition(Object, Object) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
addNegativePropositionsTransition(Object, Object, Collection<String>) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
addNegativePropositionsTransition(Object, Object, Collection<String>) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
addPropositionTransition(Object, Object, String) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
addPropositionTransition(Object, Object, String) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
addState(State) - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton
addState(Object) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
addState(Object) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
addTransition(Object, Object, TransitionLabel) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
addTransition(Transition) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
addTransition(Object, Object, TransitionLabel) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
addTransition(Transition) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
Always(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Always(F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
ALWAYS - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
AND - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
And(Formula, Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
And(F, F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
AND - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
ArrayIterable<T> - Class in org.processmining.ltl2automaton.plugins.automaton
ArrayIterable(T[]) - Constructor for class org.processmining.ltl2automaton.plugins.automaton.ArrayIterable
Automaton - Class in org.processmining.ltl2automaton.plugins.automaton
Automaton() - Constructor for class org.processmining.ltl2automaton.plugins.automaton.Automaton
Automaton.Operations - Class in org.processmining.ltl2automaton.plugins.automaton
AutomatonFactory - Interface in org.processmining.ltl2automaton.plugins

B

balance() - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.Conjunction
balance() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.GroupedTreeConjunction
balance() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
balance() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
BlockingQueue<E> - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
BlockingQueue() - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.BlockingQueue

C

CacheTools - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
CacheTools() - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.CacheTools
calculateProduct(Lambda<Automaton>, Lambda<Automaton>) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
calculateProduct(Lambda<Automaton>, Lambda<Automaton>) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ThreadedConjunctionTreeNode
clone() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
clone() - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
complete() - Method in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations
complete(DeterministicAutomaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.DFAOperations: Return an automaton accepting the same language as a, but where every transition is fully specified.
Conjunction - Interface in org.processmining.ltl2automaton.plugins.formula.conjunction
ConjunctionFactory<T extends Conjunction> - Interface in org.processmining.ltl2automaton.plugins.formula.conjunction
conjunctions() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
conjunctions() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
conjunctions() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
ConjunctionTreeLeaf - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
ConjunctionTreeLeaf(Formula, char) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
ConjunctionTreeNode - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
ConjunctionTreeNode(ConjunctionTreeNode, ConjunctionTreeNode) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
ConjunctionTreeNode() - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
containsNext(Formula) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.FormulaTools
containsUntil() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
copyState(AutomatonFactory, Map<State, Object>, State, int) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
copyStates(Automaton, AutomatonFactory) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
copyTransition(AutomatonFactory, Map<State, Object>, Transition) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
copyTransitions(Automaton, AutomatonFactory, Map<State, Object>) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
create(char, Formula, Formula, String) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
create(char, F, F, String) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
createLeaf(Formula, char) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.DefaultTreeFactory
createLeaf(Formula, char) - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.TreeFactory
createNode(ConjunctionTreeNode, ConjunctionTreeNode) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.DefaultTreeFactory
createNode(ConjunctionTreeNode, ConjunctionTreeNode) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ThreadedTreeFactory
createNode(ConjunctionTreeNode, ConjunctionTreeNode) - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.TreeFactory
createNode(int) - Method in class org.processmining.ltl2automaton.plugins.SinglePropertyGraph
createNode(int, Node) - Method in class org.processmining.ltl2automaton.plugins.SinglePropertyGraph
createState() - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
createState() - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
CupParser - Class in org.processmining.ltl2automaton.plugins.cup_parser
CupParser() - Constructor for class org.processmining.ltl2automaton.plugins.cup_parser.CupParser

D

DefaultAutomatonFactory - Class in org.processmining.ltl2automaton.plugins.automaton
DefaultAutomatonFactory() - Constructor for class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
DefaultFormulaFactory - Class in org.processmining.ltl2automaton.plugins.formula
DefaultParser - Class in org.processmining.ltl2automaton.plugins.formula
DefaultParser(String) - Constructor for class org.processmining.ltl2automaton.plugins.formula.DefaultParser
DefaultTreeFactory - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
DefaultTreeFactory() - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.DefaultTreeFactory
detach() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
DeterministicAutomaton - Class in org.processmining.ltl2automaton.plugins.automaton: Tagging subclass to distinguish between deterministic and non-deterministic autonmata
DeterministicAutomaton(Automaton, boolean) - Constructor for class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton
DeterministicAutomaton(boolean) - Constructor for class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton
DeterministicAutomaton.DeterministicOperations - Class in org.processmining.ltl2automaton.plugins.automaton
DeterministicOperations() - Constructor for class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations
determinize() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations
determinize(Automaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations: Return a deterministic automaton accepting the same language as a.
DFAOperations - Class in org.processmining.ltl2automaton.plugins.automaton
DFAOperations(Class<? extends AutomatonFactory>) - Constructor for class org.processmining.ltl2automaton.plugins.automaton.DFAOperations
do_action(int, lr_parser, Stack, int) - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Invoke a user supplied parse action.
DOTExporter - Class in org.processmining.ltl2automaton.plugins.automaton
DOTExporter() - Constructor for class org.processmining.ltl2automaton.plugins.automaton.DOTExporter

E

EOF - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
EOF_sym() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: EOF Symbol index.
Equal(Formula, Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Equal(F, F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
EQUAL - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
equals(Object) - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionLabel
EQUALS - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
equals(Object) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
equals(Object) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
equals(Object) - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
equals(Object) - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
error - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
error_sym() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: error Symbol index.
Eventually(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Eventually(F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
EVENTUALLY - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
expandCount - Variable in class org.processmining.ltl2automaton.plugins.automaton.Automaton
exportToDot(Automaton, String, Writer) - Static method in class org.processmining.ltl2automaton.plugins.automaton.DOTExporter

F

FALSE - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
False() - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
False() - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
FALSE - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
finished() - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
finished() - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
Formula - Class in org.processmining.ltl2automaton.plugins.formula
Formula(char, Formula, Formula, String) - Constructor for class org.processmining.ltl2automaton.plugins.formula.Formula
FormulaFactory<F extends LTLFormula> - Interface in org.processmining.ltl2automaton.plugins.ltl
formulaMap - Variable in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
FormulaTools - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
FormulaTools() - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.FormulaTools
FUTURE - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym

G

get() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.BlockingQueue: Get first element and remove it from the queue.
get(E) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.BlockingQueue
get() - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.Lambda
getaLiteral() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionLabel
getAtomicPropositions(Formula) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.FormulaTools
getAutomata() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
getAutomaton() - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
getAutomaton() - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
getAutomaton() - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.Conjunction
getAutomaton() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
getAutomaton() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
getAutomaton() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
getAutomaton() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getCached(ConjunctionTreeNode) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.CacheTools
getExpandCount() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton
getFactory(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.GroupedTreeConjunction
getFactory(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, ConjunctionFactory<? extends UnsortedTreeConjunction>) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
getFactory(ConjunctionFactory<? extends UnsortedTreeConjunction>) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
getFactory(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.SizeSortedTreeConjunction
getFactory(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getFormula() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
getHeight() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
getHeight() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
getId() - Method in class org.processmining.ltl2automaton.plugins.automaton.State
getInit() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton
getInitialState() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
getInstance() - Static method in class org.processmining.ltl2automaton.plugins.automaton.DFAOperations
getInstance() - Static method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
getInstance() - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.DefaultTreeFactory
getInstance() - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ThreadedTreeFactory
getInstance() - Static method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
getLabels(Iterable<State>) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
getLabels(State...) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
getLeft() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
getLeft() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
getLeft() - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
getLength() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
getLength() - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
getLiterals() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionLabel
getMaxEvents() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getMaxEventsSansRoot() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getMaxId(Automaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
getMaxStates() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getMaxStatesSansRoot() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getName() - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
getNegativeLabels() - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
getNegativeLabels() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionLabel
getNext() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
getNumberCachedAutomata() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getNumberOfPartitions() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
getNumberOfStates() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
getNumberOfTransitions() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
getOutput() - Method in class org.processmining.ltl2automaton.plugins.automaton.State
getOutputSize() - Method in class org.processmining.ltl2automaton.plugins.automaton.State
getParent() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
getPartitions() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
getPositiveLabel() - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
getRight() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
getRight() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
getRight() - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
getSource() - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
getStateCount() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton
getStateId(Object) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
getStateId(Object) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
getStateNumber(State) - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
getSub1() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
getSub2() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
getTarget() - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
getTotalEvents() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getTotalStates() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getTransitionCount() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton
getTransitionMatrix() - Method in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations
getTransitionMatrix(DeterministicAutomaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.DFAOperations: Return transition matrix (state# -> transition# -> state#).
getTransitionName(int) - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
getTransitionNumber(String) - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
getTreeFactory() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
getType() - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
GLOBALLY - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
GroupedTreeConjunction - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.GroupedTreeConjunction
GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, Collection<Formula>) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.GroupedTreeConjunction
GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, Formula) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.GroupedTreeConjunction

H

hashCode() - Method in class org.processmining.ltl2automaton.plugins.automaton.State
hashCode() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionLabel
hashCode() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
hashCode() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
hashCode() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
hashCode() - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
height() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction

I

ID - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
IMPLIES - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
Implies(Formula, Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Implies(F, F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
IMPLIES - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
init - Variable in class org.processmining.ltl2automaton.plugins.automaton.Automaton
init_actions() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Action encapsulation object initializer.
initialState(Object) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
initialState(Object) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
instance() - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionFactory
instance(Collection<Formula>) - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionFactory
instance(Formula) - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionFactory
instance - Static variable in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
intersect(Automaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations
intersect(DeterministicAutomaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations
intersect(DeterministicAutomaton, DeterministicAutomaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.DFAOperations: Construct the synchronized product of the two automata (i.e., the automaton accepting the intersection of the languages accepted by the two automata).
intersect(Automaton, Automaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations: Return an automaton accepting the intersection of the languages of a1 and a2.
invalidate() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
isAccepting() - Method in class org.processmining.ltl2automaton.plugins.automaton.State
isAccepting(int) - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
isAll() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations
isAll(Automaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations: Returns if this automaton definitely accepts all strings (i.e., if it return true, the automaton accepts all strings, if it returns false, it most likely doesn't).
isAll() - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
isAll() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionLabel
isCompleted() - Method in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton
isEmpty() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations
isEmpty(Automaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations: Returns if this automaton definitely accepts the empty language (i.e., if it return true, the automaton accepts the ampty language, if it returns false, it most likely doesn't).
isEmpty() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.BlockingQueue: Return whether the queue is empty
isLiteral() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
isNegative() - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
isNegative() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionLabel
isPositive() - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
isPositive() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionLabel
isPositiveProposition() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
isSpecialRelease(Collection<Formula>) - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
isSyntacticallyImplied(Collection<Formula>, Collection<Formula>) - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
iterator() - Method in class org.processmining.ltl2automaton.plugins.automaton.ArrayIterable
iterator() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton
iterator() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
iterator() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
iterator() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
iterator() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
iterator() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula

L

Lambda<T> - Interface in org.processmining.ltl2automaton.plugins.formula.conjunction
leaves - Variable in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
left - Variable in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
left - Variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
LPAREN - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
LTL2Automaton - Class in org.processmining.ltl2automaton.plugins
LTL2Automaton() - Constructor for class org.processmining.ltl2automaton.plugins.LTL2Automaton
LTLFormula - Class in org.processmining.ltl2automaton.plugins.ltl
LTLFormula(char, LTLFormula, LTLFormula, String) - Constructor for class org.processmining.ltl2automaton.plugins.ltl.LTLFormula

M

minimize() - Method in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations
minimize(DeterministicAutomaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.DFAOperations: Return a (possibly smaller) automaton accepting the same language as a.
minimizeSimple(DeterministicAutomaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.DFAOperations: Return a (possibly smaller) automaton accepting the same language as a.
mustSatisfyProposition() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula

N

name - Variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
NDFAOperations - Class in org.processmining.ltl2automaton.plugins.automaton: Operations on non-deterministic finite automata
NDFAOperations(Class<? extends AutomatonFactory>) - Constructor for class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
negate() - Method in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations
negate(DeterministicAutomaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.DFAOperations: Return an automaton accepting the complement of the language accepted by a.
negate(Automaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations: Return an automaton accepting the complement of the language accepted by a.
negate() - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
newFactory() - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
NEXT - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
Next(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Next(F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
NEXT - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
next_token() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
nextName - Variable in class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
nextName - Variable in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
nextState(int, int) - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
nextState(int, String) - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
NOT - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
Not(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Not(F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
NOT - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula

O

op - Variable in class org.processmining.ltl2automaton.plugins.automaton.Automaton
op - Variable in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton
Operations() - Constructor for class org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations
OR - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
Or(Formula, Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Or(F, F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
OR - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
org.processmining.ltl2automaton.plugins - package org.processmining.ltl2automaton.plugins
org.processmining.ltl2automaton.plugins.automaton - package org.processmining.ltl2automaton.plugins.automaton
org.processmining.ltl2automaton.plugins.cup_parser - package org.processmining.ltl2automaton.plugins.cup_parser
org.processmining.ltl2automaton.plugins.formula - package org.processmining.ltl2automaton.plugins.formula
org.processmining.ltl2automaton.plugins.formula.conjunction - package org.processmining.ltl2automaton.plugins.formula.conjunction
org.processmining.ltl2automaton.plugins.ltl - package org.processmining.ltl2automaton.plugins.ltl
other(ConjunctionTreeNode) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction

P

parent - Variable in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
parse(String) - Static method in class org.processmining.ltl2automaton.plugins.cup_parser.CupParser
parse() - Method in class org.processmining.ltl2automaton.plugins.ltl.Parser
parseFormula(String, boolean) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
Parser<F extends LTLFormula> - Class in org.processmining.ltl2automaton.plugins.ltl
Parser(String, FormulaFactory<F>) - Constructor for class org.processmining.ltl2automaton.plugins.ltl.Parser
ParserCup - Class in org.processmining.ltl2automaton.plugins.cup_parser: CUP v0.11a beta 20060608 generated parser.
ParserCup() - Constructor for class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Default constructor.
ParserCup(Scanner) - Constructor for class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Constructor which sets the default scanner.
ParserCup(Scanner, SymbolFactory) - Constructor for class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Constructor which sets the default scanner.
ParserSym - Interface in org.processmining.ltl2automaton.plugins.cup_parser: CUP generated interface containing symbol constants.
parses(String) - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
PartitionedConjunction - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
PartitionedConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, ConjunctionFactory<? extends UnsortedTreeConjunction>) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
PartitionedConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, ConjunctionFactory<? extends UnsortedTreeConjunction>, Collection<Formula>) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
PartitionedConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, ConjunctionFactory<? extends UnsortedTreeConjunction>, Formula) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
peek() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.BlockingQueue: Get first element from the queue.
process(Automaton) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
production_table() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Access to production table.
Proposition(String) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Proposition(String) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
PROPOSITION - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
put(E) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.BlockingQueue

Q

QuickAddConjunction - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
QuickAddConjunction(UnsortedTreeConjunction) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
QuickAddConjunction(UnsortedTreeConjunction, Collection<Formula>) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
QuickAddConjunction(UnsortedTreeConjunction, Formula) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction

R

reduce() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations
reduce() - Method in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations
reduce(Automaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations
reduce_table() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Access to reduce_goto table.
Release(Formula, Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Release(F, F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
RELEASE - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
RELEASES - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
relpaceParameter(String, String) - Method in class org.processmining.ltl2automaton.plugins.formula.Formula
remove() - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
remove(Formula) - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.Conjunction
remove(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.GroupedTreeConjunction
remove(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
remove(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
remove(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.SizeSortedTreeConjunction
remove(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
removeAllTransitions() - Method in class org.processmining.ltl2automaton.plugins.automaton.State
removeNode(ConjunctionTreeNode) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
removeOutgoingTransitions(Object) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
removeOutgoingTransitions(Object) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
removeState(State) - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton
renumber() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations
renumber() - Method in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations
replace(ConjunctionTreeNode, ConjunctionTreeNode, ConjunctionTreeNode) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
report_error(String, Object) - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup
report_fatal_error(String, Object) - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup
reset() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
reset() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
right - Variable in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
right - Variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
RPAREN - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym

S

Scanner - Class in org.processmining.ltl2automaton.plugins.cup_parser: This class is a scanner generated by JFlex 1.4.3 on 9/15/11 4:29 PM from the specification file /Users/michael/Dropbox/Documents/Work/Projects/CDRLW/Repositories/ltl2aut/parser/Scanner.lex
Scanner(Reader) - Constructor for class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Creates a new scanner There is also a java.io.InputStream version of this constructor.
Scanner(InputStream) - Constructor for class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Creates a new scanner.
scount - Variable in class org.processmining.ltl2automaton.plugins.automaton.Automaton
set(Map<ConjunctionTreeNode, Automaton>, ConjunctionTreeNode) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.CacheTools
setAll(Collection<Formula>) - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.Conjunction
setAll(Formula) - Method in interface org.processmining.ltl2automaton.plugins.formula.conjunction.Conjunction
setAll(Collection<Formula>) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.GroupedTreeConjunction
setAll(Collection<Formula>) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.PartitionedConjunction
setAll(Collection<Formula>) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
setAll(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.QuickAddConjunction
setAll(Collection<Formula>) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.SizeSortedTreeConjunction
setAll(Collection<Formula>) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
setAll(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
setCaches(Map<ConjunctionTreeNode, Automaton>, ConjunctionTreeNode) - Static method in class org.processmining.ltl2automaton.plugins.formula.conjunction.CacheTools
setExpandCount(int) - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton
setExpandCount(int) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
setExpandCount(int) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory
setFormula(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
setLeft(ConjunctionTreeNode) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
setLeft(LTLFormula) - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
setName(String) - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
setRight(ConjunctionTreeNode) - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
setRight(LTLFormula) - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
setType(char) - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
SinglePropertyGraph - Class in org.processmining.ltl2automaton.plugins
SinglePropertyGraph(Formula, AutomatonFactory) - Constructor for class org.processmining.ltl2automaton.plugins.SinglePropertyGraph
size() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.BlockingQueue: Get the current number of elements in the queue
SizeSortedTreeConjunction - Class in org.processmining.ltl2automaton.plugins.formula.conjunction: Note: All the hard work happens when inserting into the sorted set (the comparator extracts the automaton).
SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.SizeSortedTreeConjunction
SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, Collection<Formula>) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.SizeSortedTreeConjunction
SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, Formula) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.SizeSortedTreeConjunction
start_production() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Indicates start production.
start_state() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Indicates start state.
State - Class in org.processmining.ltl2automaton.plugins.automaton
State() - Constructor for class org.processmining.ltl2automaton.plugins.automaton.State
State(int) - Constructor for class org.processmining.ltl2automaton.plugins.automaton.State
sym - Interface in org.processmining.ltl2automaton.plugins.cup_parser
SyntaxParserException - Exception in org.processmining.ltl2automaton.plugins.ltl
SyntaxParserException(String) - Constructor for exception org.processmining.ltl2automaton.plugins.ltl.SyntaxParserException

T

ThreadedConjunctionTreeNode - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
ThreadedConjunctionTreeNode(ExecutorService) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.ThreadedConjunctionTreeNode
ThreadedConjunctionTreeNode(ExecutorService, ConjunctionTreeNode, ConjunctionTreeNode) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.ThreadedConjunctionTreeNode
ThreadedTreeFactory - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
ThreadedTreeFactory(int) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.ThreadedTreeFactory
toString() - Method in class org.processmining.ltl2automaton.plugins.automaton.State
toString() - Method in class org.processmining.ltl2automaton.plugins.automaton.Transition
toString() - Method in class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
toString() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeLeaf
toString() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode
toString() - Method in class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
toString() - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
toString(StringBuilder) - Method in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
Transition - Class in org.processmining.ltl2automaton.plugins.automaton
TransitionLabel - Class in org.processmining.ltl2automaton.plugins.automaton
TransitionMatrix - Class in org.processmining.ltl2automaton.plugins.automaton
TransitionMatrix(Map<String, Integer>, Map<State, Integer>, Set<Integer>, int[][]) - Constructor for class org.processmining.ltl2automaton.plugins.automaton.TransitionMatrix
transitions() - Method in class org.processmining.ltl2automaton.plugins.automaton.Automaton
translate(Collection<Formula>) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translate(Formula) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translate(Formula, boolean) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translate(Collection<Formula>, boolean) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translate(Formula, AutomatonFactory, boolean) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translate(Formula, boolean, boolean, boolean, boolean, boolean, Map<String, DeterministicAutomaton>) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translate(String, boolean) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translate(String) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translateDeterministicAutomatonOperation(Formula, boolean, boolean, Map<String, DeterministicAutomaton>) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translateNondeterministicAutomatonOperation(Formula, boolean) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
translateSimple(Formula, boolean) - Method in class org.processmining.ltl2automaton.plugins.LTL2Automaton
TreeFactory<N,L extends N> - Interface in org.processmining.ltl2automaton.plugins.formula.conjunction
TRUE - Static variable in class org.processmining.ltl2automaton.plugins.automaton.TransitionLabel
TRUE - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
True() - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
True() - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
TRUE - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
type - Variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula

U

union(DeterministicAutomaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations
union(DeterministicAutomaton, DeterministicAutomaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.DFAOperations: Construct the synchronized product of the two automata (i.e., the automaton accepting the union of the languages accepted by the two automata).
union(Automaton, Automaton) - Method in class org.processmining.ltl2automaton.plugins.automaton.NDFAOperations: Return an automaton accepting the union of the languages of a1 and a2.
UnsortedTreeConjunction - Class in org.processmining.ltl2automaton.plugins.formula.conjunction
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, Collection<Formula>) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode, ConjunctionTreeLeaf>, Formula) - Constructor for class org.processmining.ltl2automaton.plugins.formula.conjunction.UnsortedTreeConjunction
UNTIL - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
Until(Formula, Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
Until(F, F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
UNTIL - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
updateState(Object, int, boolean) - Method in class org.processmining.ltl2automaton.plugins.automaton.DefaultAutomatonFactory
updateState(Object, int, boolean) - Method in interface org.processmining.ltl2automaton.plugins.AutomatonFactory

W

WNEXT - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
WNext(Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
WNext(F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
WNEXT - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
WRelease(Formula, Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
WRelease(F, F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
WRELEASE - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula
WRELEASES - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
WUNTIL - Static variable in interface org.processmining.ltl2automaton.plugins.cup_parser.ParserSym
WUntil(Formula, Formula) - Method in class org.processmining.ltl2automaton.plugins.formula.DefaultFormulaFactory
WUntil(F, F) - Method in interface org.processmining.ltl2automaton.plugins.ltl.FormulaFactory
WUNTIL - Static variable in class org.processmining.ltl2automaton.plugins.ltl.LTLFormula

Y

yybegin(int) - Method in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Enters a new lexical state
yycharat(int) - Method in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Returns the character at position pos from the matched text.
yyclose() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Closes the input stream.
YYEOF - Static variable in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: This character denotes the end of file
YYINITIAL - Static variable in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: lexical states
yylength() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Returns the length of the matched text region.
yypushback(int) - Method in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Pushes the specified amount of characters back into the input stream.
yyreset(Reader) - Method in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Resets the scanner to read from a new input stream.
yystate() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Returns the current lexical state.
yytext() - Method in class org.processmining.ltl2automaton.plugins.cup_parser.Scanner: Returns the text matched by the current regular expression.

_

_action_table - Static variable in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Parse-action table.
_production_table - Static variable in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: Production table.
_reduce_table - Static variable in class org.processmining.ltl2automaton.plugins.cup_parser.ParserCup: reduce_goto table.

A B C D E F G H I L M N O P Q R S T U W Y _