org.processmining.plugins.DeclareDataAwareComplianceChecker.automata

Class PossibleNodes

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<State>

org.processmining.plugins.DeclareDataAwareComplianceChecker.automata.PossibleNodes

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<State>, java.util.Collection<State>, java.util.List<State>, java.util.RandomAccess

public class PossibleNodes
extends java.util.ArrayList<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

Constructors

Constructor and Description
PossibleNodes()

Method Summary

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(State node)
boolean	isAccepting()
boolean	isSatisfied()
java.util.Collection<Transition>	output()
boolean	parses(java.lang.String label)
void	reachableStates(java.util.ArrayList<State> reachable)
boolean	reachableTransition(java.util.ArrayList<State> reachable, java.lang.String label)

Methods inherited from class java.util.ArrayList

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

Methods inherited from class java.util.AbstractList

equals, hashCode

Methods inherited from class java.util.AbstractCollection

containsAll, 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

Methods inherited from interface java.util.Collection

parallelStream, stream

Constructor Detail

PossibleNodes

public PossibleNodes()

Method Detail

isAccepting

public boolean isAccepting()

isSatisfied

public boolean isSatisfied()

output

public java.util.Collection<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(State node)

reachableStates

public void reachableStates(java.util.ArrayList<State> reachable)

Parameters:

reachable - Set

reachableTransition

public boolean reachableTransition(java.util.ArrayList<State> reachable,
                                   java.lang.String label)

Parameters:

reachable - Set

label - String

Returns:

boolean