pipe.dataLayer.calculations
Class StateList
java.lang.Object
pipe.dataLayer.calculations.StateList
public class StateList
- extends java.lang.Object
Constructor Summary |
StateList()
|
StateList(java.io.File rgfile,
boolean readTangible)
StateList() |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
StateList
public StateList()
StateList
public StateList(java.io.File rgfile,
boolean readTangible)
throws java.io.IOException,
StateSpaceTooBigException
- StateList()
- Parameters:
rgfile
- A reachability graph file containing a list of
tangible states.
- Throws:
java.io.IOException
StateSpaceTooBigException
add
public void add(int[] m)
add
public void add(int[] marking,
int idInput)
getID
public java.lang.String getID(int index)
getIDNum
public int getIDNum(int index)
output
public void output(int i)
get
public int[] get(int index)
size
public int size()
compareMarking
public boolean compareMarking(int[] mark1,
int[] mark2)
isEmpty
public boolean isEmpty()
print
public void print()
print
public void print(int[] marking)