RelationOpsBuddy.hpp File Reference

Go to the source code of this file.

Classes
struct	wali::relations::Component
	Private structure. More...
class	wali::relations::Domain
	This class represents a particular domain (set) that a given relation is over. More...
struct	wali::relations::BinaryRelation
	Wraps a bdd in a nice friendly package. More...
struct	wali::relations::TernaryRelation< Subject >
	This class represents a ternary relation over the set 'Subject'. More...
struct	wali::relations::RelationTypedefs< State >
	This can be used in client code to hide the actual relation types. More...
class	wali::relations::VectorSet< T >
Namespaces
namespace	wali
namespace	wali::relations
Functions
Quad< int, int, int, int >	wali::relations::getFddNumbers (unsigned int largest)
void	wali::relations::buddyInit ()
void	wali::relations::compose (BinaryRelation &out_result, BinaryRelation const &r1, BinaryRelation const &r2)
	Composes two binary relations.
template<typename OutRelation , typename State , typename Symbol >
void	wali::relations::project_symbol_3 (OutRelation &out_result, std::set< Triple< State, Symbol, State > > const &delta, Symbol alpha)
	Projects out the symbol in the internal and call relation.
void	wali::relations::merge (BinaryRelation &out_result, BinaryRelation const &r_exit, BinaryRelation const &r_call, TernaryRelation const &delta_r)
	Performs the sort of merge required for NWA return edges.
template<typename State , typename Symbol >
void	wali::relations::project_symbol_4 (TernaryRelation &out_result, std::set< Quad< State, State, Symbol, State > > const &delta, Symbol alpha)
	Projects out the symbol in the return relation.
template<typename State >
State	wali::relations::biggest (State s1, State s2, State s3)
template<typename Relation >
void	wali::relations::transitive_closure (Relation &out_result, Relation const &r)
	Constructs the transitive closure of an algorithm.
void	wali::relations::intersect (BinaryRelation &out_result, BinaryRelation const &r1, BinaryRelation const &r2)
	Returns the intersection of two binary relations on states.
void	wali::relations::union_ (BinaryRelation &out_result, BinaryRelation const &r1, BinaryRelation const &r2)
	Returns the union of two binary relations on states.