transitions.cpp File Reference

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::query
Functions
bool	opennwa::query::getSymbol (Nwa const &nwa, State from, State to, Symbol &sym)
	finds a symbol which occurs in a transition with the given endpoints
bool	opennwa::query::findTrans (Nwa const &nwa, State from, Symbol sym, State to)
	tests whether there exists a transition whose source is 'from', whose symbol is 'sym', and whose target is 'to'
const std::set< Symbol >	opennwa::query::getSymbols (Nwa const &nwa, State source, State target)
	obtains all the symbols that label transitions from 'source' to 'target'
const std::set< Symbol >	opennwa::query::getSymbolsFrom (Nwa const &nwa, State source)
	obtains all the symbols that label transitions from 'source'
const std::set< Symbol >	opennwa::query::getSymbolsTo (Nwa const &nwa, State target)
	obtains all the symbols that label transitions to 'target'
void	opennwa::query::getPredecessors (Nwa const &nwa, State state, StateSet &preds)
	obtains all the states that are predecessors of the given state
const StateSet	opennwa::query::getPredecessors (Nwa const &nwa, State state)
	obtains all the states that are predecessors of the given state
void	opennwa::query::getPredecessors (Nwa const &nwa, Symbol symbol, State state, StateSet &preds)
	obtains all the states that are predecessors of the given state with respect to the given symbol
const std::set< State >	opennwa::query::getPredecessors (Nwa const &nwa, Symbol symbol, State state)
	obtains all the states that are predecessors of the given state with respect to the given symbol
void	opennwa::query::getSuccessors (Nwa const &nwa, State state, StateSet &succs)
	obtains all the states that are successors of the given state
const std::set< State >	opennwa::query::getSuccessors (Nwa const &nwa, State state)
	obtains all the states that are successors of the given state
void	opennwa::query::getSuccessors (Nwa const &nwa, State state, Symbol symbol, StateSet &succs)
	obtains all the states that are successors of the given state with respect to the given symbol
const std::set< State >	opennwa::query::getSuccessors (Nwa const &nwa, State state, Symbol symbol)
	obtains all the states that are successors of the given state with respect to the given symbol
const std::set< Symbol >	opennwa::query::getCallRetSymbols (Nwa const &nwa, State call, State ret)
	obtains all the symbols that label return transitions whose call-predecessor is 'call' and whose return site is 'ret'
const std::set< Symbol >	opennwa::query::getCallRetSymbolsFrom (Nwa const &nwa, State call)
	obtains all the symbols that label return transitions whose call-predecessor is 'call'
const std::set< Symbol >	opennwa::query::getCallRetSymbolsTo (Nwa const &nwa, State ret)
	obtains all the symbols that label return transitions whose return site is 'ret'
void	opennwa::query::getCallPredecessors (Nwa const &nwa, State state, StateSet &c_preds)
	obtains all the states that are call-predecessors of the given state
const std::set< State >	opennwa::query::getCallPredecessors (Nwa const &nwa, State state)
	obtains all the states that are call-predecessors of the given state
void	opennwa::query::getCallPredecessors (Nwa const &nwa, Symbol symbol, State state, StateSet &c_preds)
	obtains all the states that are call-predecessors of the given state with respect to the given symbol
const std::set< State >	opennwa::query::getCallPredecessors (Nwa const &nwa, Symbol symbol, State state)
	obtains all the states that are call-predecessors of the given state with respect to the given symbol
void	opennwa::query::getCallSuccessors (Nwa const &nwa, State state, StateSet &c_succs)
	obtains all the states that are call-successors of the given state
const std::set< State >	opennwa::query::getCallSuccessors (Nwa const &nwa, State state)
	obtains all the states that are call-successors of the given state
void	opennwa::query::getCallSuccessors (Nwa const &nwa, State state, Symbol symbol, StateSet &c_succs)
	obtains all the states that are call-successors of the given state with respect to the given symbol
const std::set< State >	opennwa::query::getCallSuccessors (Nwa const &nwa, State state, Symbol symbol)
	obtains all the states that are call-successors of the given state with respect to the given symbol