Class State

java.lang.Object
  |
  +--State
public class State
extends java.lang.Object

Constructor Summary
State()
           
State(State s)
           
 
Method Summary
 void addInFaultTransition(FaultTransition ft)
           
 void addInProgramTransition(ProgramTransition pt)
           
 void addOutFaultTransition(FaultTransition ft)
           
 void addOutProgramTransition(ProgramTransition pt)
           
 boolean equals(State s)
           
static java.util.Vector getDomain(int i)
           
 java.util.LinkedList getEquivalentStates(java.util.Vector varnos)
           
 java.util.LinkedList getInFaultTransitions()
           
 java.util.LinkedList getInProgramTransitions()
           
 java.util.LinkedList getOutFaultTransitions()
           
 java.util.LinkedList getOutProgramTransitions()
           
 int getStateno()
           
 int getValue(int i)
           
 boolean hasOutProgramTransition(ProgramTransition pt)
           
 boolean is_ms()
           
 boolean isDeadlocked()
           
 boolean isInvariant()
           
 void markInvariant()
           
 void print(java.lang.String processIndex, java.lang.String actionName, java.util.Vector vList)
           
 java.lang.String[] printProcess(java.lang.String processIndex)
           
 void removeInProgramTransition(ProgramTransition pt)
           
 void removeOutProgramTransition(ProgramTransition pt)
           
 void resetInFaultTransitions()
           
 void resetInProgramTransitions()
           
 void set_ms()
           
 void setStateno(int n)
           
 void setValue(int i, int v)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

State

public State()

State

public State(State s)
Method Detail

getDomain

public static java.util.Vector getDomain(int i)

printProcess

public java.lang.String[] printProcess(java.lang.String processIndex)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getValue

public int getValue(int i)

setValue

public void setValue(int i,
                     int v)

getStateno

public int getStateno()

setStateno

public void setStateno(int n)

addOutProgramTransition

public void addOutProgramTransition(ProgramTransition pt)

addInProgramTransition

public void addInProgramTransition(ProgramTransition pt)

addOutFaultTransition

public void addOutFaultTransition(FaultTransition ft)

addInFaultTransition

public void addInFaultTransition(FaultTransition ft)

removeOutProgramTransition

public void removeOutProgramTransition(ProgramTransition pt)

removeInProgramTransition

public void removeInProgramTransition(ProgramTransition pt)

resetInProgramTransitions

public void resetInProgramTransitions()

resetInFaultTransitions

public void resetInFaultTransitions()

markInvariant

public void markInvariant()

isInvariant

public boolean isInvariant()

is_ms

public boolean is_ms()

set_ms

public void set_ms()

getInFaultTransitions

public java.util.LinkedList getInFaultTransitions()

getOutFaultTransitions

public java.util.LinkedList getOutFaultTransitions()

getInProgramTransitions

public java.util.LinkedList getInProgramTransitions()

getOutProgramTransitions

public java.util.LinkedList getOutProgramTransitions()

hasOutProgramTransition

public boolean hasOutProgramTransition(ProgramTransition pt)

isDeadlocked

public boolean isDeadlocked()

getEquivalentStates

public java.util.LinkedList getEquivalentStates(java.util.Vector varnos)

equals

public boolean equals(State s)

print

public void print(java.lang.String processIndex,
                  java.lang.String actionName,
                  java.util.Vector vList)