org.processmining.plugins.declareminer
Class PossibleNodes

java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractList<E>
          extended by java.util.ArrayList<ltl2aut.automaton.State>
              extended by 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

Field Summary
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
PossibleNodes()
           
 
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
 

Constructor Detail

PossibleNodes

public PossibleNodes()
Method Detail

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 - Set
label - String
Returns:
boolean