Class Component

java.lang.Object
  |
  +--Component

public class Component

extends java.lang.Object

Constructor Summary

Component(java.lang.Object o, java.lang.reflect.Method[] m, int nm, Node r, java.util.Vector rs)

Method Summary

void	explore(java.util.Stack ns, State s, java.util.Hashtable states)
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

Constructor Detail

Component

public Component(java.lang.Object o,
                 java.lang.reflect.Method[] m,
                 int nm,
                 Node r,
                 java.util.Vector rs)

Method Detail

print

public void print()

explore

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

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)