cz::muni::stanse::automatonchecker::AutomatonStateContextItem Class Reference

Collaboration diagram for cz::muni::stanse::automatonchecker::AutomatonStateContextItem:

[legend]

List of all members.

Public Member Functions
boolean	equals (Object obj)
int	hashCode ()
Package Functions
	AutomatonStateContextItem (final ComposedAutomatonID automatonID)
	AutomatonStateContextItem (final CFGNode cfgNode, final ComposedAutomatonID automatonID)
	AutomatonStateContextItem (final AutomatonStateContextItem source, final ComposedAutomatonID automatonID)
CFGNode	getCFGNode ()
ComposedAutomatonID	getAutomatonID ()
boolean	isEqualWith (AutomatonStateContextItem other)

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::AutomatonStateContextItem::AutomatonStateContextItem

(

final ComposedAutomatonID

automatonID

)

[inline, package]

cz::muni::stanse::automatonchecker::AutomatonStateContextItem::AutomatonStateContextItem	(	final CFGNode	cfgNode,
		final ComposedAutomatonID	automatonID
	)			[inline, package]

cz::muni::stanse::automatonchecker::AutomatonStateContextItem::AutomatonStateContextItem	(	final AutomatonStateContextItem	source,
		final ComposedAutomatonID	automatonID
	)			[inline, package]

---

Member Function Documentation

boolean cz::muni::stanse::automatonchecker::AutomatonStateContextItem::equals

(

Object

obj

)

[inline]

int cz::muni::stanse::automatonchecker::AutomatonStateContextItem::hashCode

(

)

[inline]

CFGNode cz::muni::stanse::automatonchecker::AutomatonStateContextItem::getCFGNode

(

)

[inline, package]

ComposedAutomatonID cz::muni::stanse::automatonchecker::AutomatonStateContextItem::getAutomatonID

(

)

[inline, package]

boolean cz::muni::stanse::automatonchecker::AutomatonStateContextItem::isEqualWith

(

AutomatonStateContextItem

other

)

[inline, package]

---

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

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