returns.cpp File Reference

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::query
Functions
const std::set< State >	opennwa::query::getExits_Sym (Nwa const &nwa, Symbol symbol)
	returns the exit states associated with the given symbol
const std::set< State >	opennwa::query::getExits (Nwa const &nwa, State callSite, Symbol symbol, State returnSite)
	returns the exit states associated with the given call site, symbol, and return site
const std::set< std::pair < State, Symbol > >	opennwa::query::getExits (Nwa const &nwa, State callSite, State returnSite)
	returns the exit point/symbol pairs associated with the given call site and return site
const std::set< State >	opennwa::query::getExits (Nwa const &nwa)
	returns the exit points of all return transitions in the NWA
const std::set< State >	opennwa::query::getExits_Call (Nwa const &nwa, State callSite, Symbol symbol)
	returns the exit states associated with the given call site and symbol
const std::set< std::pair < State, Symbol > >	opennwa::query::getExits_Call (Nwa const &nwa, State callSite)
	returns the exit point/symbol pairs associated with the given call site
const std::set< State >	opennwa::query::getExits_Ret (Nwa const &nwa, Symbol symbol, State returnSite)
	returns the exit states associated with the given symbol and return site
const std::set< std::pair < State, Symbol > >	opennwa::query::getExits_Ret (Nwa const &nwa, State returnSite)
	returns the exit point/symbol pairs associated with the given return site
const std::set< State >	opennwa::query::getCalls_Sym (Nwa const &nwa, Symbol symbol)
	returns the call site states associated with the given symbol
const std::set< State >	opennwa::query::getCalls (Nwa const &nwa, State exitPoint, Symbol symbol, State returnSite)
	returns the call site states associated with the given exit point, symbol, and return site
const std::set< std::pair < State, Symbol > >	opennwa::query::getCalls (Nwa const &nwa, State exitPoint, State returnSite)
	returns the call site/symbol pairs associated with the given exit point and return site states
const std::set< State >	opennwa::query::getCalls (Nwa const &nwa)
	returns the call sites of all return transitions in the NWA
const std::set< State >	opennwa::query::getCalls_Exit (Nwa const &nwa, State exitPoint, Symbol symbol)
	returns the call site states associated with the given exit point and symbol
const std::set< std::pair < State, Symbol > >	opennwa::query::getCalls_Exit (Nwa const &nwa, State exitPoint)
	returns the call site/symbol pairs associated with the given exit point
const std::set< State >	opennwa::query::getCalls_Ret (Nwa const &nwa, Symbol symbol, State returnSite)
	returns the call site states associated with the given symbol and return site
const std::set< std::pair < State, Symbol > >	opennwa::query::getCalls_Ret (Nwa const &nwa, State returnSite)
	returns the call site/symbol pairs associated with the given return site
const std::set< Symbol >	opennwa::query::getReturnSym (Nwa const &nwa)
	returns the symbols that label return transitions in the NWA
const std::set< Symbol >	opennwa::query::getReturnSym (Nwa const &nwa, State exitPoint, State callSite, State returnSite)
	returns the symbols that label return transitions from 'exitPoint' to 'returnSite' with call-predecessor 'callSite' in the NWA
const std::set< Symbol >	opennwa::query::getReturnSym_Exit (Nwa const &nwa, State exitPoint)
	returns the symbols that label return transitions from 'exitPoint' n the NWA
const std::set< Symbol >	opennwa::query::getReturnSym_Call (Nwa const &nwa, State callSite)
	returns the symbols that label return transitions with call-predecessor 'callSite' in the NWA
const std::set< Symbol >	opennwa::query::getReturnSym_Ret (Nwa const &nwa, State returnSite)
	returns the symbols that label return transitions to 'returnSite' in the NWA
const std::set< Symbol >	opennwa::query::getReturnSym_ExitCall (Nwa const &nwa, State exitPoint, State callSite)
	returns the symbols that label return transitions from 'exitPoint' with call-predecessor 'callSite' in the NWA
const std::set< Symbol >	opennwa::query::getReturnSym_ExitRet (Nwa const &nwa, State exitPoint, State returnSite)
	returns the symbols that label return transitions from 'exitPoint' to 'returnSite' in the NWA
const std::set< Symbol >	opennwa::query::getReturnSym_CallRet (Nwa const &nwa, State callSite, State returnSite)
	returns the symbols that label return transitions to 'returnSite' with call-predecessor 'callSite' in the NWA
const std::set< State >	opennwa::query::getReturns_Sym (Nwa const &nwa, Symbol symbol)
	returns the return site states associated with the given symbol
const std::set< State >	opennwa::query::getReturns (Nwa const &nwa, State exitPoint, State callSite, Symbol symbol)
	returns the return site states associated with the given exit point, call site, and symbol
const std::set< std::pair < Symbol, State > >	opennwa::query::getReturns (Nwa const &nwa, State exit, State callSite)
	returns the symbol/return site pairs associated with the given exit point and call site
const std::set< State >	opennwa::query::getReturns (Nwa const &nwa)
	returns the return sites of all return transitions in the NWA
const std::set< State >	opennwa::query::getReturns_Exit (Nwa const &nwa, State exitPoint, Symbol symbol)
	returns the return site states associated with the given exit point and symbol
const std::set< std::pair < Symbol, State > >	opennwa::query::getReturns_Exit (Nwa const &nwa, State exitPoint)
	returns the symbol/return site pairs associated with the given exit point
const std::set< State >	opennwa::query::getReturns_Call (Nwa const &nwa, State callSite, Symbol symbol)
	returns the return site states associated with the given call site and symbol
const std::set< std::pair < Symbol, State > >	opennwa::query::getReturns_Call (Nwa const &nwa, State callSite)
	returns the symbol/return site pairs associated with the given call site
const std::set< State >	opennwa::query::getReturnSites (Nwa const &nwa, State callSite)
	returns the return sites associated with the given call site