Class AbstractProgram

java.lang.Object
  |
  +--AbstractProgram

Direct Known Subclasses:

Program

public abstract class AbstractProgram

extends java.lang.Object

Method Summary

boolean	isDeadlocked(State s)
void	print()
boolean	producesTransition(Transition t)
boolean	solveDeadlock(State s, Invariant inv, java.util.Hashtable states, SafetySpecification spec, Program fitp)
boolean	solveDeadlockMore(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

Method Detail

solveDeadlock

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

solveDeadlockMore

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

producesTransition

public boolean producesTransition(Transition t)

isDeadlocked

public boolean isDeadlocked(State s)

print

public void print()