org.processmining.plugins.declareminer
Class PossibleNodes
java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractList<E>
java.util.ArrayList<ltl2aut.automaton.State>
org.processmining.plugins.declareminer.PossibleNodes
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<ltl2aut.automaton.State>, java.util.Collection<ltl2aut.automaton.State>, java.util.List<ltl2aut.automaton.State>, java.util.RandomAccess
public class PossibleNodes
- extends java.util.ArrayList<ltl2aut.automaton.State>
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
- Version:
- 1.0
- Author:
- Maja Pesic
- See Also:
- Serialized Form
Fields inherited from class java.util.AbstractList |
modCount |
Method Summary |
boolean |
acceptingReachable()
Checks if from at least one of the possible states an acceptig state is
reachable. |
boolean |
acceptingReachable(ltl2aut.automaton.State node)
|
boolean |
isAccepting()
|
java.util.Collection<ltl2aut.automaton.Transition> |
output()
|
boolean |
parses(java.lang.String label)
|
void |
reachableStates(java.util.ArrayList<ltl2aut.automaton.State> reachable)
|
boolean |
reachableTransition(java.util.ArrayList<ltl2aut.automaton.State> reachable,
java.lang.String label)
|
Methods inherited from class java.util.ArrayList |
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, remove, removeRange, set, size, toArray, toArray, trimToSize |
Methods inherited from class java.util.AbstractList |
equals, hashCode, iterator, listIterator, listIterator, subList |
Methods inherited from class java.util.AbstractCollection |
containsAll, removeAll, retainAll, toString |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.List |
containsAll, equals, hashCode, iterator, listIterator, listIterator, removeAll, retainAll, subList |
PossibleNodes
public PossibleNodes()
isAccepting
public boolean isAccepting()
output
public java.util.Collection<ltl2aut.automaton.Transition> output()
parses
public boolean parses(java.lang.String label)
acceptingReachable
public boolean acceptingReachable()
- Checks if from at least one of the possible states an acceptig state is
reachable. If from at least one possible state an accepting state is
reachable returns TRUE. If from none of the possible states an accepting
state is reachable returns FALSE;
- Returns:
- boolean
acceptingReachable
public boolean acceptingReachable(ltl2aut.automaton.State node)
reachableStates
public void reachableStates(java.util.ArrayList<ltl2aut.automaton.State> reachable)
- Parameters:
reachable
- Set
reachableTransition
public boolean reachableTransition(java.util.ArrayList<ltl2aut.automaton.State> reachable,
java.lang.String label)
- Parameters:
reachable
- Setlabel
- String
- Returns:
- boolean