varification
Interface nextStateGenerator

public interface nextStateGenerator

Title: Automatic Varfication of two process system

Description: This program will do an automatic varification of the mutual exclusion algorithim as described by the dog problem

Copyright: Copyright (c) 2003

test

Version:
1.0
Author:
Jonathan Harris
Method Detail

getNextStates

public ArrayList getNextStates()
this method will generate a list of states that a given state can go to note that the possible states are stored as VertexInfo in the array list so it is save to cast to VertexInfo
Returns:
an array list that contains VertexInfo objects