opennwa::query Namespace Reference

Namespaces
namespace	details
Typedefs
typedef details::TransitionStorage	Trans
typedef Trans::CallIterator	CallIterator
typedef Trans::InternalIterator	InternalIterator
typedef Trans::ReturnIterator	ReturnIterator
typedef Trans::Call	Call
typedef Trans::Internal	Internal
typedef Trans::Return	Return
typedef Trans::Calls	Calls
typedef Trans::Internals	Internals
typedef Trans::Returns	Returns
Functions
bool	isDeterministic (Nwa const &nwa)
	tests whether this NWA is deterministic
bool	statesOverlap (Nwa const &first, Nwa const &second)
	determines whether there is any overlap in the states of the given NWAs
const std::set< State >	getCallSites_Sym (Nwa const &nwa, Symbol symbol)
	returns the call site states associated with the given symbol
const std::set< State >	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 > >	getCallSites (Nwa const &nwa, State entryPoint)
	returns the call site/symbol pairs associated with the given entry point
const std::set< State >	getCallSites (Nwa const &nwa)
	returns the call sites of all call transitions in the NWA
const std::set< Symbol >	getCallSym (Nwa const &nwa)
	returns the symbols that label call transitions in the NWA
const std::set< Symbol >	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 >	getCallSym_Call (Nwa const &nwa, State callSite)
	returns the symbols that label the call transitions from 'callSite' in the NWA
const std::set< Symbol >	getCallSym_Entry (Nwa const &nwa, State entryPoint)
	returns the symbols that label the call transitions to 'entryPoint' in the NWA
const std::set< State >	getEntries_Sym (Nwa const &nwa, Symbol symbol)
	returns the entry point states associated with the given symbol
const std::set< State >	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 > >	getEntries (Nwa const &nwa, State callSite)
	returns the symbol/entry point pairs associated with the given call site
const std::set< State >	getEntries (Nwa const &nwa)
	returns the entry points of all call transitions in the NWA
ref_ptr< NestedWord >	getSomeAcceptedWordInternal (Nwa const &nwa, WeightGen const &wg)
ref_ptr< NestedWord >	getSomeAcceptedWord (Nwa const &nwa)
	Returns some word accepted by 'nwa', or NULL if there isn't one.
ref_ptr< NestedWord >	getSomeShortestAcceptedWord (Nwa const &nwa)
const std::set< State >	getSources_Sym (Nwa const &nwa, Symbol symbol)
	returns the source states associated with the given symbol
const std::set< State >	getSources (Nwa const &nwa, Symbol symbol, State target)
	returns the source states associated with the given symbol and target state
const std::set< std::pair < State, Symbol > >	getSources (Nwa const &nwa, State target)
	returns the source/symbol pairs associated with the given target state
const std::set< State >	getSources (Nwa const &nwa)
	returns the sources of all internal transitions in the NWA
const std::set< Symbol >	getInternalSym (Nwa const &nwa)
	returns the symbols that label internal transitions in the NWA
const std::set< Symbol >	getInternalSym (Nwa const &nwa, State source, State target)
	returns the symbols that label internal transitions from 'source' to 'target' in the NWA
const std::set< Symbol >	getInternalSym_Source (Nwa const &nwa, State source)
	returns the symbols that label internal transitions from 'source' in the NWA
const std::set< Symbol >	getInternalSym_Target (Nwa const &nwa, State target)
	returns the symbols that label internal transitions to 'target' in the NWA
const std::set< State >	getTargets_Sym (Nwa const &nwa, Symbol symbol)
	returns the target states associated with the given symbol
const std::set< State >	getTargets (Nwa const &nwa, State source, Symbol symbol)
	returns the target states associated with the given source state and symbol
const std::set< std::pair < Symbol, State > >	getTargets (Nwa const &nwa, State source)
	returns the symbol/target pairs associated with the given source
const std::set< State >	getTargets (Nwa const &nwa)
	returns the targets of all internal transitions in the NWA
bool	languageContains (Nwa const &nwa, NestedWord const &word)
	Determines whether word is in the language of the given NWA.
bool	languageSubsetEq (Nwa const &left, Nwa const &right)
	tests whether the language of the first NWA is included in the language of the second NWA
bool	languageIsEmpty (Nwa const &nwa)
	tests whether the language accepted by this NWA is empty
bool	languageEquals (Nwa const &first, Nwa const &second)
	tests whether the languages of the given NWAs are equal
const std::set< State >	getExits_Sym (Nwa const &nwa, Symbol symbol)
	returns the exit states associated with the given symbol
const std::set< State >	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 > >	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 >	getExits (Nwa const &nwa)
	returns the exit points of all return transitions in the NWA
const std::set< State >	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 > >	getExits_Call (Nwa const &nwa, State callSite)
	returns the exit point/symbol pairs associated with the given call site
const std::set< State >	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 > >	getExits_Ret (Nwa const &nwa, State returnSite)
	returns the exit point/symbol pairs associated with the given return site
const std::set< State >	getCalls_Sym (Nwa const &nwa, Symbol symbol)
	returns the call site states associated with the given symbol
const std::set< State >	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 > >	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 >	getCalls (Nwa const &nwa)
	returns the call sites of all return transitions in the NWA
const std::set< State >	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 > >	getCalls_Exit (Nwa const &nwa, State exitPoint)
	returns the call site/symbol pairs associated with the given exit point
const std::set< State >	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 > >	getCalls_Ret (Nwa const &nwa, State returnSite)
	returns the call site/symbol pairs associated with the given return site
const std::set< Symbol >	getReturnSym (Nwa const &nwa)
	returns the symbols that label return transitions in the NWA
const std::set< Symbol >	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 >	getReturnSym_Exit (Nwa const &nwa, State exitPoint)
	returns the symbols that label return transitions from 'exitPoint' n the NWA
const std::set< Symbol >	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 >	getReturnSym_Ret (Nwa const &nwa, State returnSite)
	returns the symbols that label return transitions to 'returnSite' in the NWA
const std::set< Symbol >	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 >	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 >	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 >	getReturns_Sym (Nwa const &nwa, Symbol symbol)
	returns the return site states associated with the given symbol
const std::set< State >	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 > >	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 >	getReturns (Nwa const &nwa)
	returns the return sites of all return transitions in the NWA
const std::set< State >	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 > >	getReturns_Exit (Nwa const &nwa, State exitPoint)
	returns the symbol/return site pairs associated with the given exit point
const std::set< State >	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 > >	getReturns_Call (Nwa const &nwa, State callSite)
	returns the symbol/return site pairs associated with the given call site
const std::set< State >	getReturnSites (Nwa const &nwa, State callSite)
	returns the return sites associated with the given call site
bool	getSymbol (Nwa const &nwa, State from, State to, Symbol &sym)
	finds a symbol which occurs in a transition with the given endpoints
bool	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 >	getSymbols (Nwa const &nwa, State source, State target)
	obtains all the symbols that label transitions from 'source' to 'target'
const std::set< Symbol >	getSymbolsFrom (Nwa const &nwa, State source)
	obtains all the symbols that label transitions from 'source'
const std::set< Symbol >	getSymbolsTo (Nwa const &nwa, State target)
	obtains all the symbols that label transitions to 'target'
void	getPredecessors (Nwa const &nwa, State state, StateSet &preds)
	obtains all the states that are predecessors of the given state
const StateSet	getPredecessors (Nwa const &nwa, State state)
	obtains all the states that are predecessors of the given state
void	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 >	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	getSuccessors (Nwa const &nwa, State state, StateSet &succs)
	obtains all the states that are successors of the given state
const std::set< State >	getSuccessors (Nwa const &nwa, State state)
	obtains all the states that are successors of the given state
void	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 >	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 >	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 >	getCallRetSymbolsFrom (Nwa const &nwa, State call)
	obtains all the symbols that label return transitions whose call-predecessor is 'call'
const std::set< Symbol >	getCallRetSymbolsTo (Nwa const &nwa, State ret)
	obtains all the symbols that label return transitions whose return site is 'ret'
void	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 >	getCallPredecessors (Nwa const &nwa, State state)
	obtains all the states that are call-predecessors of the given state
void	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 >	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	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 >	getCallSuccessors (Nwa const &nwa, State state)
	obtains all the states that are call-successors of the given state
void	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 >	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

---

Typedef Documentation

typedef details::TransitionStorage opennwa::query::Trans

typedef Trans::CallIterator opennwa::query::CallIterator

typedef Trans::InternalIterator opennwa::query::InternalIterator

typedef Trans::ReturnIterator opennwa::query::ReturnIterator

typedef Trans::Call opennwa::query::Call

typedef Trans::Internal opennwa::query::Internal

typedef Trans::Return opennwa::query::Return

typedef Trans::Calls opennwa::query::Calls

typedef Trans::Internals opennwa::query::Internals

typedef Trans::Returns opennwa::query::Returns

---

Function Documentation

bool opennwa::query::isDeterministic

(

Nwa const &

nwa

)

tests whether this NWA is deterministic

This method tests whether this NWA is deterministic or nondeterministic. If this NWA is deterministic, true is returned. Otherwise, false is returned.

Returns:

true if this NWA is deterministic, false otherwise

bool opennwa::query::statesOverlap	(	Nwa const &	first,
		Nwa const &	second
	)

determines whether there is any overlap in the states of the given NWAs

This method tests whether there is any overlap in the states of the given NWAs.

first->states() intersect second->states() = {]

Parameters:

	-	first: one of the NWAs whose states to compare
	-	second: one of the NWAs whose states to compare

Returns:

true if there is some overlap in the states of the given NWAs, false otherwise

const StateSet opennwa::query::getCallSites_Sym	(	Nwa const &	nwa,
		Symbol	symbol
	)

returns the call site states associated with the given symbol

Parameters:

-

symbol: the symbol whose call site states to obtain

Returns:

the set of call site states associated with the given symbol

This method provides access to the call site states associated with the given symbol.

Parameters:

-

symbol: the symbol whose call site states to obtain

Returns:

the set of call site states associated with the given symbol

Referenced by opennwa::assemble_nwa().

const StateSet opennwa::query::getCallSites	(	Nwa const &	nwa,
		Symbol	symbol,
		State	entryPoint
	)

returns the call site states associated with the given symbol and entry point

Parameters:

	-	symbol: the symbol whose call site states to obtain
	-	entryPoint: the entry point state whose call site states to obtain

Returns:

the set of call site states associated with the given symbol and entry point

This method provides access to the call site states associated with the given symbol and entry point.

Parameters:

	-	symbol: the symbol whose call site states to obtain
	-	entryPoint: the entry point state whose call site states to obtain

Returns:

the set of call site states associated with the given symbol and entry point

Referenced by opennwa::Nwa::pruneUnreachableBackward().

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

Parameters:

-

entryPoint: the entry point state whose call site/symbol pairs to obtain

Returns:

the set of call site/symbol pairs associated with the given entry point

This method provides access to the call site/symbol pairs associated with the given entry point state.

Parameters:

-

entryPoint: the entry point state whose call site/symbol pairs to obtain

Returns:

the set of call site/symbol pairs associated with the given entry point

const StateSet opennwa::query::getCallSites

(

Nwa const &

nwa

)

returns the call sites of all call transitions in the NWA

returns the call sites of all call transitions in the Nwa

Returns:

the set of call sites of all call transitions in the NWA

This method provides access to the call sites of all call transitions in the NWA.

Returns:

the set of call sites of all call transitions in the NWA

const SymbolSet opennwa::query::getCallSym

(

Nwa const &

nwa

)

returns the symbols that label call transitions in the NWA

Returns:

the set of symbols that label call transitions in the NWA

This method provides access to the symbols that label call transitions in the NWA.

Returns:

the set of symbols that label call transitions in the NWA

const SymbolSet 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

Parameters:

	-	callSite: the call site of the desired transitions
	-	entryPoint: the entry point of the desired transitions

Returns:

the set of symbols that label the call transitions from 'callSite' to 'entryPoint' in the NWA

This method provides access to the symbols that label the call transitions from 'callSite' to 'entryPoint' in the NWA.

Parameters:

	-	callSite: the call site of the desired transitions
	-	entryPoint: the entry point of the desired transitions

Returns:

the set of symbols that label the call transitions from 'callSite' to 'entryPoint' in the NWA

const SymbolSet opennwa::query::getCallSym_Call	(	Nwa const &	nwa,
		State	callSite
	)

returns the symbols that label the call transitions from 'callSite' in the NWA

Parameters:

-

callSite: the call site of the desired transitions

Returns:

the set of symbols that label the call transitions from 'callSite' in the NWA

This method provides access to the symbols that label the call transitions from 'callSite' in the NWA.

Parameters:

-

callSite: the call site of the desired transitions

Returns:

the set of symbols that label the call transitions from 'callSite' in the NWA

const SymbolSet opennwa::query::getCallSym_Entry	(	Nwa const &	nwa,
		State	entryPoint
	)

returns the symbols that label the call transitions to 'entryPoint' in the NWA

Parameters:

-

entryPoint: the entry point of the desired transitions

Returns:

the set of symbols that label the call transitions to 'entryPoint' in the NWA

This method provides access to the symbols that label the call transitions to 'entryPoint' in the NWA.

Parameters:

-

entryPoint: the entry point of the desired transitions

Returns:

the set of symbols that label the call transitions to 'entryPoint' in the NWA

const StateSet opennwa::query::getEntries_Sym	(	Nwa const &	nwa,
		Symbol	symbol
	)

returns the entry point states associated with the given symbol

Parameters:

-

symbol: the symbol whose entry point states to obtain

Returns:

the set of entry point states associated with the given symbol

This method provides access to the entry point states associated with the given symbol.

Parameters:

-

symbol: the symbol whose entry point states to obtain

Returns:

the set of entry point states associated with the given symbol

const StateSet opennwa::query::getEntries	(	Nwa const &	nwa,
		State	callSite,
		Symbol	symbol
	)

returns the entry point states associated with the given call site and symbol

Parameters:

	-	callSite: the call site whose entry point states to obtain
	-	symbol: the symbol whose entry point states to obtain

Returns:

the set of entry point states associated with the given call site and symbol

This method provides access to the entry point states assoicated with the given call site and symbol.

Parameters:

	-	callSite: the call site whose entry point states to obtain
	-	symbol: the symbol whose entry point states to obtain

Returns:

the set of entry point states associated with the given call site and symbol

Referenced by opennwa::traverse::details::handle_calls(), and opennwa::Nwa::pruneUnreachableForward().

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

Parameters:

-

callSite: the call site whose symbol/entry point pairs to obtain

Returns:

the set of symbol/entry point pairs associated with the given call site

This method provides access to the symbol/entry point pairs associated with the given call site.

Parameters:

-

callSite: the call site whose symbol/entry point pairs to obtain

Returns:

the set of symbol/entry point pairs associated with the given call site

const StateSet opennwa::query::getEntries

(

Nwa const &

nwa

)

returns the entry points of all call transitions in the NWA

Returns:

the set of entry points of all call transitions in the NWA

This method provides access to the entry points of all call transitions in the NWA.

Returns:

the set of entry points of all call transitions in the NWA

ref_ptr< NestedWord > opennwa::query::getSomeAcceptedWordInternal	(	Nwa const &	nwa,
		WeightGen const &	wg
	)

References wali::witness::Witness::accept(), wali::wfa::WFA::add_final_state(), wali::wfa::WFA::addTrans(), wali::wfa::TransSet::begin(), opennwa::Nwa::beginFinalStates(), opennwa::Nwa::beginInitialStates(), wali::wfa::TransSet::end(), opennwa::Nwa::endFinalStates(), opennwa::Nwa::endInitialStates(), wali::getKey(), opennwa::WeightGen::getOne(), opennwa::nwa_pds::getProgramControlLocation(), wali::wfa::WFA::getState(), wali::wfa::WFA::match(), opennwa::nwa_pds::NwaToWpdsCalls(), wali::wfa::WFA::path_summary(), wali::wpds::WPDS::poststar(), wali::wfa::WFA::set_initial_state(), wali::wpds::WPDS::setWorklist(), opennwa::Nwa::sizeInitialStates(), and v().

ref_ptr< NestedWord > opennwa::query::getSomeAcceptedWord

(

Nwa const &

nwa

)

Returns some word accepted by 'nwa', or NULL if there isn't one.

Returns:

A word accepted by 'nwa', or NULL if there isn't one

Referenced by main().

ref_ptr< NestedWord > opennwa::query::getSomeShortestAcceptedWord

(

Nwa const &

nwa

)

const StateSet opennwa::query::getSources_Sym	(	Nwa const &	nwa,
		Symbol	symbol
	)

returns the source states associated with the given symbol

Parameters:

-

symbol: the symbol whose source states to obtain

Returns:

the set of source states associated with the given symbol

This method provides access to the source states associated with the given symbol.

Parameters:

-

symbol: the symbol whose source states to obtain

Returns:

the set of source states associated with the given symbol

Referenced by opennwa::assemble_nwa().

const StateSet opennwa::query::getSources	(	Nwa const &	nwa,
		Symbol	symbol,
		State	target
	)

returns the source states associated with the given symbol and target state

Parameters:

	-	symbol: the symbol whose source states to obtain
	-	target: the target state whose source states to obtain

Returns:

the set of source states assoicated with the given symbol and target state

This method provides access to the source states associated with the given symbol and target state.

Parameters:

	-	symbol: the symbol whose source states to obtain
	-	target: the target state whose source states to obtain

Returns:

the set of source states assoicated with the given symbol and target state

Referenced by opennwa::Nwa::pruneUnreachableBackward().

const std::set< std::pair< State, Symbol > > opennwa::query::getSources	(	Nwa const &	nwa,
		State	target
	)

returns the source/symbol pairs associated with the given target state

Parameters:

-

target: the target state whose source/symbol pairs to obtain

Returns:

the set of source/symbol pairs associated with the given target state

This method provides access to the source/symbol pairs associated with the given target state.

Parameters:

-

target: the target state whose source/symbol pairs to obtain

Returns:

the set of source/symbol pairs associated with the given target state

const StateSet opennwa::query::getSources

(

Nwa const &

nwa

)

returns the sources of all internal transitions in the NWA

Returns:

the set of sources of all internal transitions in the NWA

This method provides access to the sources of all internal transitions in the NWA.

Returns:

the set of sources of all internal transitions in the NWA

const SymbolSet opennwa::query::getInternalSym

(

Nwa const &

nwa

)

returns the symbols that label internal transitions in the NWA

Returns:

the set of symbols that label internal transitions in the NWA

This method provides access to the symbols that label internal transitions in the NWA.

Returns:

the set of symbols that label internal transitions in the NWA

const SymbolSet opennwa::query::getInternalSym	(	Nwa const &	nwa,
		State	source,
		State	target
	)

returns the symbols that label internal transitions from 'source' to 'target' in the NWA

Parameters:

	-	source: the source of the desired transitions
	-	target: the target of the desired transitions

Returns:

the set of symbols that label internal transitions from 'source' to 'target' in the NWA

This method provides access to the symbols that label internal transitions from 'source' to 'target' in the NWA.

Parameters:

	-	source: the source of the desired transitions
	-	target: the target of the desired transitions

Returns:

the set of symbols that label internal transitions from 'source' to 'target' in the NWA

const SymbolSet opennwa::query::getInternalSym_Source	(	Nwa const &	nwa,
		State	source
	)

returns the symbols that label internal transitions from 'source' in the NWA

Parameters:

-

source: the source of the desired transitions

Returns:

the set of symbols that label internal transitions from 'source' in the NWA

This method provides access to the symbols that label internal transitions from 'source' in the NWA.

Parameters:

-

source: the source of the desired transitions

Returns:

the set of symbols that label internal transitions from 'source' in the NWA

const SymbolSet opennwa::query::getInternalSym_Target	(	Nwa const &	nwa,
		State	target
	)

returns the symbols that label internal transitions to 'target' in the NWA

Parameters:

-

target: the target of the desired transitions

Returns:

the set of symbols that label internal transitions to 'target' in the NWA

This method provides access to the symbols that label internal transitions to 'target' in the NWA.

Parameters:

-

target: the target of the desired transitions

Returns:

the set of symbols that label internal transitions to 'target' in the NWA

const StateSet opennwa::query::getTargets_Sym	(	Nwa const &	nwa,
		Symbol	symbol
	)

returns the target states associated with the given symbol

Parameters:

-

symbol: the symbol whose target states to obtain

Returns:

the set of target states associated with the given symbol

This method provides access to the target states associated with the given symbol.

Parameters:

-

symbol: the symbol whose target states to obtain

Returns:

the set of target states associated with the given symbol

const StateSet opennwa::query::getTargets	(	Nwa const &	nwa,
		State	source,
		Symbol	symbol
	)

returns the target states associated with the given source state and symbol

Parameters:

	-	source: the source state whose target states to obtain
	-	symbol: the symbol whose target states to obtain

Returns:

the set of target states associated with the given source state and symbol

This method provides access to the target states associated with the given source state and symbol.

Parameters:

	-	source: the source state whose target states to obtain
	-	symbol: the symbol whose target states to obtain

Returns:

the set of target states associated with the given source state and symbol

Referenced by opennwa::traverse::details::handle_internals(), and opennwa::Nwa::pruneUnreachableForward().

const std::set< std::pair< Symbol, State > > opennwa::query::getTargets	(	Nwa const &	nwa,
		State	source
	)

returns the symbol/target pairs associated with the given source

Parameters:

-

source: the source whose symbol/target pairs to obtain

Returns:

the set of symbol/target pairs associated with the given source

This method provides access to the symbol/target pairs associated with the given source.

Parameters:

-

source: the source whose symbol/target pairs to obtain

Returns:

the set of symbol/target pairs associated with the given source

const StateSet opennwa::query::getTargets

(

Nwa const &

nwa

)

returns the targets of all internal transitions in the NWA

Returns:

the set of targets of all internal transitions in the NWA

This method provides access to the targets of all internal transitions in the NWA.

Returns:

the set of targets of all internal transitions in the NWA

bool opennwa::query::languageContains	(	Nwa const &	nwa,
		NestedWord const &	word
	)

Determines whether word is in the language of the given NWA.

Returns:

true if 'word' is in L(this), and false otherwise.

bool opennwa::query::languageSubsetEq	(	Nwa const &	left,
		Nwa const &	right
	)

tests whether the language of the first NWA is included in the language of the second NWA

This method tests whether the language of the first NWA is included in the language of the second NWA.

Parameters:

	-	first: the proposed subset
	-	second: the proposed superset

Returns:

true if the language of the first NWA is included in the language of the second NWA, false otherwise

Referenced by main().

bool opennwa::query::languageIsEmpty

(

Nwa const &

nwa

)

tests whether the language accepted by this NWA is empty

This method tests whether the language accepted by this NWA is empty.

Returns:

true if the language accepted by this NWA is empty

Referenced by main().

bool opennwa::query::languageEquals	(	Nwa const &	first,
		Nwa const &	second
	)

tests whether the languages of the given NWAs are equal

This method tests the equivalence of the languages accepted by the given NWAs.

Parameters:

	-	first: one of the NWAs whose language to test
	-	second: one of the NWAs whose language to test

Returns:

true if the languages accepted by the given NWAs are equal, false otherwise

Referenced by main().

const StateSet opennwa::query::getExits_Sym	(	Nwa const &	nwa,
		Symbol	symbol
	)

returns the exit states associated with the given symbol

Parameters:

-

symbol: the symbol whose exit states to obtain

Returns:

the set of exit states associated with the given symbol

This method provides access to the exit states associated with the given symbol.

Parameters:

-

symbol: the symbol whose exit states to obtain

Returns:

the set of exit states associated with the given symbol

Referenced by opennwa::assemble_nwa().

const StateSet 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

Parameters:

	-	callSite: the call site state whose exit states to obtain
	-	symbol: the symbol whose exit states to obtain
	-	returnSite: the return site state whose exit states to obtain

Returns:

the set of exit states associated with the given call site, symbol, and return site

This method provides access to the exit states associated with the given call site, symbol, and return site.

Parameters:

	-	callSite: the call site state whose exit states to obtain
	-	symbol: the symbol whose exit states to obtain
	-	returnSite: the return site state whose exit states to obtain

Returns:

the set of 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

Parameters:

	-	callSite: the call site state whose exit point/symbol pairs to obtain
	-	returnSite: the return site state whose exit point/symbol pairs to obtain

Returns:

the set of exit point/symbol pairs associated with the given call site and return site

This method provides access to the exit point/symbol pairs associated with the given call site and return site.

Parameters:

	-	callSite: the call site state whose exit point/symbol pairs to obtain
	-	returnSite: the return site state whose exit point/symbol pairs to obtain

Returns:

the set of exit point/symbol pairs associated with the given call site and return site

const StateSet opennwa::query::getExits

(

Nwa const &

nwa

)

returns the exit points of all return transitions in the NWA

Returns:

the set of exit points of all return transitions in the NWA

This method provides access to the exit points of all return transitions in the NWA.

Returns:

the set of exit points of all return transitions in the NWA

const StateSet opennwa::query::getExits_Call	(	Nwa const &	nwa,
		State	callSite,
		Symbol	symbol
	)

returns the exit states associated with the given call site and symbol

Parameters:

	-	callSite: the call site state whose exit states to obtain
	-	symbol: the symbol whose exit states to obtain

Returns:

the set of exit states associated with the given call state and symbol

This method provides access to the exit states associated with the given call site and symbol.

Parameters:

	-	callSite: the call site state whose exit states to obtain
	-	symbol: the symbol whose exit states to obtain

Returns:

the set of exit states associated with the given call state 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

Parameters:

-

callSite: the call site state whose exit point/symbol pairs to obtain

Returns:

the set of exit point/symbol pairs associated with the given call site

This method provides access to the exit point/symbol pairs associated with the given call site.

Parameters:

-

callSite: the call site state whose exit point/symbol pairs to obtain

Returns:

the set of exit point/symbol pairs associated with the given call site

const StateSet opennwa::query::getExits_Ret	(	Nwa const &	nwa,
		Symbol	symbol,
		State	returnSite
	)

returns the exit states associated with the given symbol and return site

Parameters:

	-	symbol: the symbol whose exit states to obtain
	-	returnSite: the return site state whose exit states to obtain

Returns:

the set of exit states associated with the given symbol and return site

This method provides access to the exit states associated with the given symbol and return site.

Parameters:

	-	symbol: the symbol whose exit states to obtain
	-	returnSite: the return site state whose exit states to obtain

Returns:

the set of 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

Parameters:

-

returnSite: the return site state whose exit point/symbol pairs to obtain

Returns:

the set of exit point/symbol pairs associated with the given return site

This method provides access to the exit point/symbol pairs associated with the given return site.

Parameters:

-

returnSite: the return site state whose exit point/symbol pairs to obtain

Returns:

the set of exit point/symbol pairs associated with the given return site

const StateSet opennwa::query::getCalls_Sym	(	Nwa const &	nwa,
		Symbol	symbol
	)

returns the call site states associated with the given symbol

Parameters:

-

symbol: the symbol whose call site states to obtain

Returns:

the set of call site states associated with the given symbol

This method provides access to the call site states associated with the given symbol.

Parameters:

-

symbol: the symbol whose call site states to obtain

Returns:

the set of call site states associated with the given symbol

const StateSet 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

Parameters:

	-	exitPoint: the exit point whose call site states to obtain
	-	symbol: the symbol whose call site states to obtain
	-	returnSite: the return site whose call site states to obtain

Returns:

the set of call site states assocaited with the given exit point, symbol, and return site

This method provides access to the call site states associated with the given exit point, symbol, and return site.

Parameters:

	-	exitPoint: the exit point whose call site states to obtain
	-	symbol: the symbol whose call site states to obtain
	-	returnSite: the return site whose call site states to obtain

Returns:

the set of call site states assocaited 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

Parameters:

	-	exitPoint: the exit point whose call site/symbol pairs to obtain
	-	returnSite: the return site whose call site/symbol pairs to obtain

Returns:

the set of call site/symbol pairs associated with the given exit point and return site states

This method provides access to the call site/symbol pairs associated with the given exit point and return site states.

Parameters:

	-	exitPoint: the exit point whose call site/symbol pairs to obtain
	-	returnSite: the return site whose call site/symbol pairs to obtain

Returns:

the set of call site/symbol pairs associated with the given exit point and return site states

const StateSet opennwa::query::getCalls

(

Nwa const &

nwa

)

returns the call sites of all return transitions in the NWA

Returns:

the set of call sites of all return transitions in the NWA

This method provides access to the call sites of all return transitions in the NWA.

Returns:

the set of call sites of all return transitions in the NWA

const StateSet opennwa::query::getCalls_Exit	(	Nwa const &	nwa,
		State	exitPoint,
		Symbol	symbol
	)

returns the call site states associated with the given exit point and symbol

Parameters:

	-	exitPoint: the exit point whose call site states to obtain
	-	symbol: the symbol whose call site states to obtain

Returns:

the set of all call sites associated with the given exit point and symbol

This method provides access to the call site states associated with the given exit point and symbol.

Parameters:

	-	exitPoint: the exit point whose call site states to obtain
	-	symbol: the symbol whose call site states to obtain

Returns:

the set of all call sites 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

Parameters:

-

exitPoint: the exit point whose call site/symbol pairs to obtain

Returns:

the set of call site/symbol pairs associated with the given exit point

This method provides access to the call site/symbol pairs associated with the given exit point.

Parameters:

-

exitPoint: the exit point whose call site/symbol pairs to obtain

Returns:

the set of call site/symbol pairs associated with the given exit point

const StateSet opennwa::query::getCalls_Ret	(	Nwa const &	nwa,
		Symbol	symbol,
		State	returnSite
	)

returns the call site states associated with the given symbol and return site

Parameters:

	-	symbol: the symbol whose call site states to obtain
	-	returnSite: the return site whose call site states to obtain

Returns:

the set of call site states associated with the given symbol and return site

This method provides access to the call site states associated with the given symbol and return site.

Parameters:

	-	symbol: the symbol whose call site states to obtain
	-	returnSite: the return site whose call site states to obtain

Returns:

the set of 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

Parameters:

-

returnSite: the return site whose call site/symbol pairs to obtain

Returns:

the set of all call site/symbol pairs associated with the given return site

This method provides access to the call site/symbol pairs associated with the given return site.

Parameters:

-

returnSite: the return site whose call site/symbol pairs to obtain

Returns:

the set of all call site/symbol pairs associated with the given return site

const SymbolSet opennwa::query::getReturnSym

(

Nwa const &

nwa

)

returns the symbols that label return transitions in the NWA

Returns:

the set of symbols that label return transitions in the NWA

This method provides access to the symbols that label return transitions in the NWA.

Returns:

the set of symbols that label return transitions in the NWA

const SymbolSet 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

Parameters:

	-	exitPoint: the exit point of the desired transition
	-	callSite: the call site of the desired transition
	-	returnSite: the return site of the desired transition

Returns:

the set of symbols that label return transitions from 'exitPoint' to 'returnSite' with call-predecessor 'callSite' in the NWA

This method provides access to the symbols that label return transitions from 'exitPoint' to 'returnSite' with call-predecessor 'callSite' in the NWA.

Parameters:

	-	exitPoint: the exit point of the desired transition
	-	callSite: the call site of the desired transition
	-	returnSite: the return site of the desired transition

Returns:

the set of symbols that label return transitions from 'exitPoint' to 'returnSite' with call-predecessor 'callSite' in the NWA

const SymbolSet opennwa::query::getReturnSym_Exit	(	Nwa const &	nwa,
		State	exitPoint
	)

returns the symbols that label return transitions from 'exitPoint' n the NWA

Parameters:

-

exitPoint: the exit point of the desired transition

Returns:

the set of symbols that label return transitions from 'exitPoint' in the NWA

This method provides access to the symbols that label return transitions from 'exitPoint' in the NWA.

Parameters:

-

exitPoint: the exit point of the desired transition

Returns:

the set of symbols that label return transitions from 'exitPoint' in the NWA

const SymbolSet opennwa::query::getReturnSym_Call	(	Nwa const &	nwa,
		State	callSite
	)

returns the symbols that label return transitions with call-predecessor 'callSite' in the NWA

Parameters:

-

callSite: the call site of the desired transition

Returns:

the set of symbols that label return transitions with call-predecessor 'callSite' in the NWA

This method provides access to the symbols that label return transitions with call-predecessor 'callSite' in the NWA.

Parameters:

-

callSite: the call site of the desired transition

Returns:

the set of symbols that label return transitions with call-predecessor 'callSite' in the NWA

const SymbolSet opennwa::query::getReturnSym_Ret	(	Nwa const &	nwa,
		State	returnSite
	)

returns the symbols that label return transitions to 'returnSite' in the NWA

Parameters:

-

returnSite: the return site of the desired transition

Returns:

the set of symbols that label return transitions to 'returnSite' in the NWA

This method provides access to the symbols that label return transitions to 'returnSite' in the NWA.

Parameters:

-

returnSite: the return site of the desired transition

Returns:

the set of symbols that label return transitions to 'returnSite' in the NWA

const SymbolSet 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

Parameters:

	-	exitPoint: the exit point of the desired transition
	-	callSite: the call site of the desired transition

Returns:

the set of symbols that label return transitions from 'exitPoint' with call-predecessor 'callSite' in the NWA

This method provides access to the symbols that label return transitions from 'exitPoint' with call-predecessor 'callSite' in the NWA.

Parameters:

	-	exitPoint: the exit point of the desired transition
	-	callSite: the call site of the desired transition

Returns:

the set of symbols that label return transitions from 'exitPoint' with call-predecessor 'callSite' in the NWA

const SymbolSet 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

Parameters:

	-	exitPoint: the exit point of the desired transition
	-	returnSite: the return site of the desired transition

Returns:

the set of symbols that label return transitions from 'exitPoint' to 'returnSite' in the NWA

This method provides access to the symbols that label return transitions from 'exitPoint' to 'returnSite' in the NWA.

Parameters:

	-	exitPoint: the exit point of the desired transition
	-	returnSite: the return site of the desired transition

Returns:

the set of symbols that label return transitions from 'exitPoint' to 'returnSite' in the NWA

const SymbolSet 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

Parameters:

	-	callSite: the call site of the desired transition
	-	returnSite: the return site of the desired transition

Returns:

the set of symbols that label return transitions to 'returnSite' with call-predecessor 'callSite' in the NWA

This method provides access to the symbols that label return transitions to 'returnSite' with call-predecessor 'callSite' in the NWA.

Parameters:

	-	callSite: the call site of the desired transition
	-	returnSite: the return site of the desired transition

Returns:

the set of symbols that label return transitions to 'returnSite' with call-predecessor 'callSite' in the NWA

const StateSet opennwa::query::getReturns_Sym	(	Nwa const &	nwa,
		Symbol	symbol
	)

returns the return site states associated with the given symbol

Parameters:

-

symbol: the symbol whose reutrn site states to obtain

Returns:

the set of return site states associated with the given symbol

This method provides access to the return site states associated with the given symbol.

Parameters:

-

symbol: the symbol whose reutrn site states to obtain

Returns:

the set of return site states associated with the given symbol

const StateSet 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

Parameters:

	-	exitPoint: the exit point whose return site states to obtain
	-	callSite: the call site whose return site states to obtain
	-	symbol: the symbol whose return site states to obtain

Returns:

the set of return site states associated with the given exit point, call site, and symbol

This method provides access to the return site states associated with the given exit point, call site, and symbol.

Parameters:

	-	exitPoint: the exit point whose return site states to obtain
	-	callSite: the call site whose return site states to obtain
	-	symbol: the symbol whose return site states to obtain

Returns:

the set of return site states associated with the given exit point, call site, and symbol

Referenced by opennwa::traverse::details::handle_returns().

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

Parameters:

	-	exit: the exit point whose symbol/return site pairs to obtain
	-	callSite: the call site whose symbol/return site pairs to obtain

Returns:

the set of symbol/return site pairs associated with the given exit point and call site

This method provides access to the symbol/return site pairs associated with the given exit point and call site.

Parameters:

	-	exit: the exit point whose symbol/return site pairs to obtain
	-	callSite: the call site whose symbol/return site pairs to obtain

Returns:

the set of symbol/return site pairs associated with the given exit point and call site

const StateSet opennwa::query::getReturns

(

Nwa const &

nwa

)

returns the return sites of all return transitions in the NWA

Returns:

the set of return sites of all return transitions in the NWA

This method provides access to the return sites of all return transitions in the NWA.

Returns:

the set of return sites of all return transitions in the NWA

const StateSet opennwa::query::getReturns_Exit	(	Nwa const &	nwa,
		State	exitPoint,
		Symbol	symbol
	)

returns the return site states associated with the given exit point and symbol

Parameters:

	-	exitPoint: the exit point whose return site states to obtain
	-	symbol: the symbol whose return site states to obtain

Returns:

the set of return site states associated with the given exit point and symbol

This method provides access to the return site states associated with the given exit point and symbol.

Parameters:

	-	exitPoint: the exit point whose return site states to obtain
	-	symbol: the symbol whose return site states to obtain

Returns:

the set of 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

Parameters:

-

exitPoint: the exit point whose symbol/return site pairs to obtain

Returns:

the set of symbol/return site pairs associated with the given exit point

This method provides access to the symbol/return site pairs associated with the given exit point.

Parameters:

-

exitPoint: the exit point whose symbol/return site pairs to obtain

Returns:

the set of symbol/return site pairs associated with the given exit point

const StateSet opennwa::query::getReturns_Call	(	Nwa const &	nwa,
		State	callSite,
		Symbol	symbol
	)

returns the return site states associated with the given call site and symbol

Parameters:

	-	callSite: the call site whose return site states to obtain
	-	symbol: the symbol whose return site states to obtain

Returns:

the set of return site states associated with the given call site and symbol

This method provides access to the return site states associated with the given call site and symbol.

Parameters:

	-	callSite: the call site whose return site states to obtain
	-	symbol: the symbol whose return site states to obtain

Returns:

the set of 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

Parameters:

-

callSite: the call site whose symbol/return site pairs to obtain

Returns:

the set of symbol/return site pairs associated with the given call site

This method provides access to the symbol/return site pairs associated with the given call site.

Parameters:

-

callSite: the call site whose symbol/return site pairs to obtain

Returns:

the set of symbol/return site pairs associated with the given call site

const StateSet opennwa::query::getReturnSites	(	Nwa const &	nwa,
		State	callSite
	)

returns the return sites associated with the given call site

Parameters:

-

callSite: the call site whose return sites to obtain

Returns:

the set of return sites associated with the given call site

This method provides access to the return sites associated with the given call site.

Parameters:

-

callSite: the call site whose return sites to obtain

Returns:

the set of return sites associated with the given call site

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

Parameters:

	-	from: the source of the desired transition
	-	to: the target of the desired transition
	-	sym: the location in which to place any symbol labeling such a transition

Returns:

true if some such transition is found, false otherwise

This method checks for a transition (of any kind) with the given endpoints. If such a transition exists true is returned and the symbol labeling that edge is placed in the reference parameter 'sym'.

Parameters:

	-	from: the source of the desired transition
	-	to: the target of the desired transition
	-	sym: the location in which to place any symbol labeling such a transition

Returns:

true if some such transition is found, false otherwise

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'

Parameters:

	-	from: the source of the transition
	-	sym: the symbol that labels the transition
	-	to: the target of the transition

Returns:

true if such a transition exists, false otherwise

This method determines whether there exists a transition (internal, call, or return) whose source is 'from', whose symbol is 'sym', and whose target is 'to'.

Parameters:

	-	from: the source of the transition
	-	sym: the symbol that labels the transition
	-	to: the target of the transition

Returns:

true if such a transition exists, false otherwise

const SymbolSet opennwa::query::getSymbols	(	Nwa const &	nwa,
		State	source,
		State	target
	)

obtains all the symbols that label transitions from 'source' to 'target'

Parameters:

	-	source: the source of the desired transitions
	-	target: the target of the desired transitions

Returns:

the set of symbols that label transitions from 'source' to 'target'

This method returns all the symbols that label transitions from 'source' to 'target'

Parameters:

	-	source: the source of the desired transitions
	-	target: the target of the desired transitions

Returns:

the set of symbols that label transitions from 'source' to 'target'

const SymbolSet opennwa::query::getSymbolsFrom	(	Nwa const &	nwa,
		State	source
	)

obtains all the symbols that label transitions from 'source'

Parameters:

-

source: the source of the desired transitions

Returns:

the set of symbols that label transitions from 'source'

This method returns all the symbols that label transitions from 'source'

Parameters:

-

source: the source of the desired transitions

Returns:

the set of symbols that label transitions from 'source'

const SymbolSet opennwa::query::getSymbolsTo	(	Nwa const &	nwa,
		State	target
	)

obtains all the symbols that label transitions to 'target'

Parameters:

-

target: the target of the desired transitions

Returns:

the set of symbols that label transitions to 'target'

This method returns all the symbols that label transitions to 'target'

Parameters:

-

target: the target of the desired transitions

Returns:

the set of 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

Parameters:

-

state: the state of the state whose predecessors to look up

Returns:

the set of all states that are predecessors of the given state

This method returns all the states that are predecessors of the given state.

Parameters:

	-	state: the state whose predecessors to look up
	-	preds: the set of all 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

Parameters:

-

state: the state whose predecessors to look up

Returns:

the set of all states that are predecessors of the given state

This method returns all the states that are predecessors of the given state.

Parameters:

-

state: the state whose predecessors to look up

Returns:

the set of all 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

Parameters:

	-	symbol: the symbol that should label a transition from each predecessor to the given state
	-	state: the state whose predecessors to look up
	-	preds: the set of all states that are predecessors of the given state with respect to the given symbol

This method returns all the states that are predecessors of the given state such that the symbol that labels a transition from each predecessor to the given state is the given symbol.

Parameters:

	-	symbol: the symbol that should label a transition from each predecessor to the given state
	-	state: the state whose predecessors to look up
	-	preds: the set of all states that are predecessors of the given state with respect to the given symbol

const StateSet 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

Parameters:

	-	symbol: the symbol that should label a transition from each predecessor to the given state
	-	state: the state whose predecessors to look up

Returns:

the set of all states that are predecessors of the given state with respect to the given symbol

This method returns all the states that are predecessors of the given state such that the symbol that labels a transition from each predecessor to the given state is the given symbol.

Parameters:

	-	symbol: the symbol that should label a transition from each predecessor to the given state
	-	state: the state whose predecessors to look up

Returns:

the set of all 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

Parameters:

	-	state: the state whose successors to lookup
	-	succs: the set of all states that are successors of the given state

This method returns all the states that are successors of the given state.

Parameters:

	-	state: the state whose successors to lookup
	-	succs: the set of all states that are successors of the given state

const StateSet opennwa::query::getSuccessors	(	Nwa const &	nwa,
		State	state
	)

obtains all the states that are successors of the given state

Parameters:

-

state: the state whose successors to look up

Returns:

the set of all states that are successors of the given state

This method returns all the states that are successors of the given state.

Parameters:

-

state: the state whose successors to look up

Returns:

the set of all 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

Parameters:

	-	symbol: the symbol that should label a transition from the given state to each successor
	-	state: the state whose successors to look up
	-	succs: the set of all states that are successors of the given state with respect to the given symbol

This method returns all the states that are successors of the given state such that the symbol that labels a transition from the given state to each successor is the given symbol.

Parameters:

	-	symbol: the symbol that should label a transition from the given state to each successor
	-	state: the state whose successors to look up
	-	succs: the set of all states that are successors of the given state with respect to the given symbol

const StateSet 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

Parameters:

	-	symbol: the symbol that should label a transition from the given state to each successor
	-	state: the state whose successors to look up

Returns:

the set of all states that are successors of the given state with respect to the given symbol

This method returns all the states that are successors of the given state such that the symbol that labels a transition from the given state to each successor is the given symbol.

Parameters:

	-	symbol: the symbol that should label a transition from the given state to each successor
	-	state: the state whose successors to look up

Returns:

the set of all states that are successors of the given state with respect to the given symbol

const SymbolSet 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'

Parameters:

	-	call: the call-predecessor of the desired return transitions
	-	ret: the return site of the desired return transitions

Returns:

the set of symbols that label return transitions whose call-predecessor is 'call' and whose return site is 'ret'

This method returns all the symbols that label return transitions whose call-predecessor is 'call' and whose return site is 'ret'

Parameters:

	-	call: the call-predecessor of the desired return transitions
	-	ret: the return site of the desired return transitions

Returns:

the set of symbols that label return transitions whose call-predecessor is 'call' and whose return site is 'ret'

const SymbolSet opennwa::query::getCallRetSymbolsFrom	(	Nwa const &	nwa,
		State	call
	)

obtains all the symbols that label return transitions whose call-predecessor is 'call'

Parameters:

-

call: the call-predecessor of the desired return transitions

Returns:

the set of symbols that label return transitions whose call-predecessor is 'call'

This method returns all the symbols that label return transitions whose call-predecessor is 'call'

Parameters:

-

call: the call-predecessor of the desired return transitions

Returns:

the set of symbols that label return transitions whose call-predecessor is 'call'

const SymbolSet opennwa::query::getCallRetSymbolsTo	(	Nwa const &	nwa,
		State	ret
	)

obtains all the symbols that label return transitions whose return site is 'ret'

Parameters:

-

ret: the return site of the desired return transitions

Returns:

the set of symbols that label return transitions whose return site is 'ret'

This method returns all the symbols that label return transitions whose return site is 'ret'

Parameters:

-

ret: the return site of the desired return transitions

Returns:

the set of 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

Parameters:

	-	state: the state whose call-predecessors to look up
	-	preds: the set of all states that are call-predecessors of the given state

This method returns all the states that are call-predecessors of the given state.

Parameters:

	-	state: the state whose call-predecessors to look up
	-	preds: the set of all states that are call-predecessors of the given state

const StateSet opennwa::query::getCallPredecessors	(	Nwa const &	nwa,
		State	state
	)

obtains all the states that are call-predecessors of the given state

Parameters:

-

state: the state whose call-predecessors to look up

Returns:

the set of all states that are call-predecessors of the given state

This method returns all the states that are call-predecessors of the given state.

Parameters:

-

state: the state whose call-predecessors to look up

Returns:

the set of all 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

Parameters:

	-	symbol: the symbol that should label a transition with each call-predecessor and the given state
	-	state: the state whose call-predecessors to look up
	-	preds: the set of all states that are call-predecessors of the given state with respect to the given symbol

This method returns all the states that are call-predecessors of the given state such that the symbol that labels a return transition with each call-predecessor and the given state is the given symbol.

Parameters:

	-	symbol: the symbol that should label a transition with each call-predecessor and the given state
	-	state: the state whose call-predecessors to look up
	-	preds: the set of all states that are call-predecessors of the given state with respect to the given symbol

const StateSet 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

Parameters:

	-	symbol: the symbol that should label a transition with each call-predecessor and the given state
	-	state: the state whose call-predecessors to look up

Returns:

the set of all states that are call-predecessors of the given state with respect to the given symbol

This method returns all the states that are call-predecessors of the given state such that the symbol that labels a return transition with each call-predecessor and the given state is the given symbol.

Parameters:

	-	symbol: the symbol that should label a transition with each call-predecessor and the given state
	-	state: the state whose call-predecessors to look up

Returns:

the set of all 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

Parameters:

	-	state: the state whose call-successors to lookup
	-	succs: the set of all states that are call-successors of the given state

This method returns all the states that are call-successors of the given state.

Parameters:

	-	state: the state whose call-successors to lookup
	-	succs: the set of all states that are call-successors of the given state

const StateSet opennwa::query::getCallSuccessors	(	Nwa const &	nwa,
		State	state
	)

obtains all the states that are call-successors of the given state

Parameters:

-

state: the state whose call-successors to look up

Returns:

the set of all states that are call-successors of the given state

This method returns all the states that are call-successors of the given state.

Parameters:

-

state: the state whose call-successors to look up

Returns:

the set of all 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

Parameters:

	-	symbol: the symbol that should label a return transition with each call- successor and the given state
	-	state: the state whose call-successors to look up
	-	succs: the set of all states that are call-successors of the given state with respect to the given symbol

This method returns all the states that are call-successors of the given state such that the symbol that labels a return transition with each call-successor and the given state is the given symbol.

Parameters:

	-	symbol: the symbol that should label a return transition with each call- successor and the given state
	-	state: the state whose call-successors to look up
	-	succs: the set of all states that are call-successors of the given state with respect to the given symbol

const StateSet 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

Parameters:

	-	symbol: the symbol that should label a return transition with each call- successor and the given state
	-	state: the state whose call-successors to look up

Returns:

the set of all states that are call-successors of the given state with respect to the given symbol

This method returns all the states that are call-successors of the given state such that the symbol that labels a return transition with each call-successor and the given state is the given symbol.

Parameters:

	-	symbol: the symbol that should label a return transition with each call- successor and the given state
	-	state: the state whose call-successors to look up

Returns:

the set of all states that are call-successors of the given state with respect to the given symbol