internals.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::getSources_Sym (Nwa const &nwa, Symbol symbol)
	returns the source states associated with the given symbol
const std::set< State >	opennwa::query::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 > >	opennwa::query::getSources (Nwa const &nwa, State target)
	returns the source/symbol pairs associated with the given target state
const std::set< State >	opennwa::query::getSources (Nwa const &nwa)
	returns the sources of all internal transitions in the NWA
const std::set< Symbol >	opennwa::query::getInternalSym (Nwa const &nwa)
	returns the symbols that label internal transitions in the NWA
const std::set< Symbol >	opennwa::query::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 >	opennwa::query::getInternalSym_Source (Nwa const &nwa, State source)
	returns the symbols that label internal transitions from 'source' in the NWA
const std::set< Symbol >	opennwa::query::getInternalSym_Target (Nwa const &nwa, State target)
	returns the symbols that label internal transitions to 'target' in the NWA
const std::set< State >	opennwa::query::getTargets_Sym (Nwa const &nwa, Symbol symbol)
	returns the target states associated with the given symbol
const std::set< State >	opennwa::query::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 > >	opennwa::query::getTargets (Nwa const &nwa, State source)
	returns the symbol/target pairs associated with the given source
const std::set< State >	opennwa::query::getTargets (Nwa const &nwa)
	returns the targets of all internal transitions in the NWA