cz::muni::stanse::automatonchecker::AutomatonStateContextAlgo Class Reference

List of all members.

Static Package Functions
static boolean	canPush (final Stack< AutomatonStateContextItem > context, final CFGNode node, final ComposedAutomatonID id)
static Stack < AutomatonStateContextItem >	push (final Stack< AutomatonStateContextItem > context, final CFGNode node, final ComposedAutomatonID id)
static Stack < AutomatonStateContextItem >	pop (final Stack< AutomatonStateContextItem > context)
static Stack < AutomatonStateContextItem >	swop (final Stack< AutomatonStateContextItem > context, final CFGNode node, final ComposedAutomatonID id)
static Stack < AutomatonStateContextItem >	copy (final Stack< AutomatonStateContextItem > context)

---

Member Function Documentation

static boolean cz::muni::stanse::automatonchecker::AutomatonStateContextAlgo::canPush	(	final Stack< AutomatonStateContextItem >	context,
		final CFGNode	node,
		final ComposedAutomatonID	id
	)			[inline, static, package]

static Stack<AutomatonStateContextItem> cz::muni::stanse::automatonchecker::AutomatonStateContextAlgo::push	(	final Stack< AutomatonStateContextItem >	context,
		final CFGNode	node,
		final ComposedAutomatonID	id
	)			[inline, static, package]

static Stack<AutomatonStateContextItem> cz::muni::stanse::automatonchecker::AutomatonStateContextAlgo::pop

(

final Stack< AutomatonStateContextItem >

context

)

[inline, static, package]

static Stack<AutomatonStateContextItem> cz::muni::stanse::automatonchecker::AutomatonStateContextAlgo::swop	(	final Stack< AutomatonStateContextItem >	context,
		final CFGNode	node,
		final ComposedAutomatonID	id
	)			[inline, static, package]

static Stack<AutomatonStateContextItem> cz::muni::stanse::automatonchecker::AutomatonStateContextAlgo::copy

(

final Stack< AutomatonStateContextItem >

context

)

[inline, static, package]

---

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

• src/cz/muni/stanse/automatonchecker/AutomatonStateContextAlgo.java