Static Package Functions | |
static HashSet< Stack< CFGNode > > | getContexts (final HashSet< AutomatonState > states) |
static Stack< CFGNode > | getContext (final AutomatonState state) |
static Stack< CFGNode > | getContext (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) |
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] |