selectors.hpp File Reference

Go to the source code of this file.

Classes
struct	opennwa::query::details::selectors::CallTransitionSelector
	This class selects the whole transition. More...
struct	opennwa::query::details::selectors::InternalTransitionSelector
	This class selects the whole transition. More...
struct	opennwa::query::details::selectors::ReturnTransitionSelector
	This class selects the whole transition. More...
struct	opennwa::query::details::selectors::SourceSelector
	This class selects the source from transitions. More...
struct	opennwa::query::details::selectors::SymbolSelector
	This class selects the symobl from transitions. More...
struct	opennwa::query::details::selectors::TargetSelector
	This class selects the target from transitions. More...
struct	opennwa::query::details::selectors::CallPredecessorSelector
	This class selects the call predecessor from return transitions. More...
struct	opennwa::query::details::selectors::PairSelector< Selector1, Selector2 >
	This selects a pair of things. More...
Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::query
namespace	opennwa::query::details
namespace	opennwa::query::details::selectors
	This namepsace defines a library of selector classes.