Class ProgramImplementation

java.lang.Object
  |
  +--ProgramImplementation

Direct Known Subclasses:

ProgramImplementation1, ProgramImplementation2

public class ProgramImplementation

extends java.lang.Object

implements Program_Implementor

Constructor Summary

ProgramImplementation()

Method Summary

java.util.Stack	exploreImp(State s, java.util.Hashtable states)
boolean	isDeadlockedImp(State s)
void	printImp()
boolean	producesTransitionImp(Transition t)
boolean	solveDeadlockImp(State s, Invariant inv, java.util.Hashtable states, SafetySpecification spec, Program fitp)
boolean	solveDeadlockMoreImp(State s, Invariant inv, java.util.Hashtable states, SafetySpecification spec, Program fitp, java.util.Hashtable recStates)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProgramImplementation

public ProgramImplementation()

Method Detail

exploreImp

public java.util.Stack exploreImp(State s,
                                  java.util.Hashtable states)

Specified by:

exploreImp in interface Program_Implementor

solveDeadlockImp

public boolean solveDeadlockImp(State s,
                                Invariant inv,
                                java.util.Hashtable states,
                                SafetySpecification spec,
                                Program fitp)

Specified by:

solveDeadlockImp in interface Program_Implementor

solveDeadlockMoreImp

public boolean solveDeadlockMoreImp(State s,
                                    Invariant inv,
                                    java.util.Hashtable states,
                                    SafetySpecification spec,
                                    Program fitp,
                                    java.util.Hashtable recStates)

Specified by:

solveDeadlockMoreImp in interface Program_Implementor

producesTransitionImp

public boolean producesTransitionImp(Transition t)

Specified by:

producesTransitionImp in interface Program_Implementor

isDeadlockedImp

public boolean isDeadlockedImp(State s)

Specified by:

isDeadlockedImp in interface Program_Implementor

printImp

public void printImp()

Specified by:

printImp in interface Program_Implementor