cz::muni::stanse::automatonchecker::AutomatonStateCFGcontextAlgo Class Reference

List of all members.

Static Package Functions

static HashSet< Stack< CFGNode > > getContexts (final HashSet< AutomatonState > states)
static Stack< CFGNodegetContext (final AutomatonState state)
static Stack< CFGNodegetContext (final Stack< AutomatonStateContextItem > context)
static final HashSet
< AutomatonState
filterStatesByContext (final HashSet< AutomatonState > states, final Stack< CFGNode > context)
static boolean firstIsSubcontextOfSecond (final Stack< CFGNode > contextFirst, final Stack< CFGNode > contextSecond)


Member Function Documentation

static HashSet<Stack<CFGNode> > cz::muni::stanse::automatonchecker::AutomatonStateCFGcontextAlgo::getContexts ( final HashSet< AutomatonState states  )  [inline, static, package]

static Stack<CFGNode> cz::muni::stanse::automatonchecker::AutomatonStateCFGcontextAlgo::getContext ( final AutomatonState  state  )  [inline, static, package]

static Stack<CFGNode> cz::muni::stanse::automatonchecker::AutomatonStateCFGcontextAlgo::getContext ( final Stack< AutomatonStateContextItem context  )  [inline, static, package]

static final HashSet<AutomatonState> cz::muni::stanse::automatonchecker::AutomatonStateCFGcontextAlgo::filterStatesByContext ( final HashSet< AutomatonState states,
final Stack< CFGNode context 
) [inline, static, package]

static boolean cz::muni::stanse::automatonchecker::AutomatonStateCFGcontextAlgo::firstIsSubcontextOfSecond ( final Stack< CFGNode contextFirst,
final Stack< CFGNode contextSecond 
) [inline, static, package]


The documentation for this class was generated from the following file:

Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6