calls.hpp File Reference

Go to the source code of this file.

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::query
Functions
const std::set< State >	opennwa::query::getCallSites_Sym (Nwa const &nwa, Symbol symbol)
	returns the call site states associated with the given symbol
const std::set< State >	opennwa::query::getCallSites (Nwa const &nwa, Symbol symbol, State entryPoint)
	returns the call site states associated with the given symbol and entry point
const std::set< std::pair < State, Symbol > >	opennwa::query::getCallSites (Nwa const &nwa, State entryPoint)
	returns the call site/symbol pairs associated with the given entry point
const std::set< State >	opennwa::query::getCallSites (Nwa const &nwa)
	returns the call sites of all call transitions in the NWA
const std::set< Symbol >	opennwa::query::getCallSym (Nwa const &nwa)
	returns the symbols that label call transitions in the NWA
const std::set< Symbol >	opennwa::query::getCallSym (Nwa const &nwa, State callSite, State entryPoint)
	returns the symbols that label the call transitions from 'callSite' to 'entryPoint' in the NWA
const std::set< Symbol >	opennwa::query::getCallSym_Call (Nwa const &nwa, State callSite)
	returns the symbols that label the call transitions from 'callSite' in the NWA
const std::set< Symbol >	opennwa::query::getCallSym_Entry (Nwa const &nwa, State entryPoint)
	returns the symbols that label the call transitions to 'entryPoint' in the NWA
const std::set< State >	opennwa::query::getEntries_Sym (Nwa const &nwa, Symbol symbol)
	returns the entry point states associated with the given symbol
const std::set< State >	opennwa::query::getEntries (Nwa const &nwa, State callSite, Symbol symbol)
	returns the entry point states associated with the given call site and symbol
const std::set< std::pair < Symbol, State > >	opennwa::query::getEntries (Nwa const &nwa, State callSite)
	returns the symbol/entry point pairs associated with the given call site
const std::set< State >	opennwa::query::getEntries (Nwa const &nwa)
	returns the entry points of all call transitions in the NWA