: Class AbstractProcess

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Class AbstractProcess

java.lang.Object
  |
  +--AbstractProcess

public abstract class AbstractProcess
extends java.lang.Object

Constructor Summary
`AbstractProcess()`

Method Summary
`abstract void`	`explore(java.util.Stack ns, State s, java.util.Hashtable states)`
`abstract boolean`	`isDeadlocked(State s)`
`abstract void`	`print()`
`abstract boolean`	`producesTransition(Transition t)`
`abstract boolean`	`solveDeadlock(State s, Invariant inv, java.util.Hashtable states, SafetySpecification spec, Program fitp)`

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractProcess

public AbstractProcess()

Method Detail

print

public abstract void print()

explore

public abstract void explore(java.util.Stack ns,
                             State s,
                             java.util.Hashtable states)

solveDeadlock

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

producesTransition

public abstract boolean producesTransition(Transition t)

isDeadlocked

public abstract boolean isDeadlocked(State s)