: Class ProgramImplementation2

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Class ProgramImplementation2

java.lang.Object
  |
  +--ProgramImplementation
        |
        +--ProgramImplementation2

public class ProgramImplementation2
extends ProgramImplementation

Constructor Summary
`ProgramImplementation2()`

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

Methods inherited from class ProgramImplementation

exploreImp, 
isDeadlockedImp, 
printImp, 
producesTransitionImp, 
solveDeadlockMoreImp

Methods inherited from class java.lang.Object

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

Constructor Detail

ProgramImplementation2

public ProgramImplementation2()

Method Detail

solveDeadlockImp

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

Overrides:: solveDeadlockImp in class ProgramImplementation