public class PossibleNodes
extends java.util.ArrayList<org.processmining.ltl2automaton.plugins.automaton.State>
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Constructor and Description |
---|
PossibleNodes() |
Modifier and Type | Method and Description |
---|---|
boolean |
acceptingReachable()
Checks if from at least one of the possible states an acceptig state is
reachable.
|
boolean |
acceptingReachable(org.processmining.ltl2automaton.plugins.automaton.State node) |
boolean |
isAccepting() |
java.util.Collection<org.processmining.ltl2automaton.plugins.automaton.Transition> |
output() |
boolean |
parses(java.lang.String label) |
void |
reachableStates(java.util.ArrayList<org.processmining.ltl2automaton.plugins.automaton.State> reachable) |
boolean |
reachableTransition(java.util.ArrayList<org.processmining.ltl2automaton.plugins.automaton.State> reachable,
java.lang.String label) |
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize
public boolean isAccepting()
public java.util.Collection<org.processmining.ltl2automaton.plugins.automaton.Transition> output()
public boolean parses(java.lang.String label)
public boolean acceptingReachable()
public boolean acceptingReachable(org.processmining.ltl2automaton.plugins.automaton.State node)
public void reachableStates(java.util.ArrayList<org.processmining.ltl2automaton.plugins.automaton.State> reachable)
reachable
- Setpublic boolean reachableTransition(java.util.ArrayList<org.processmining.ltl2automaton.plugins.automaton.State> reachable, java.lang.String label)
reachable
- Setlabel
- String