RelationOpsPaired.hpp File Reference

Go to the source code of this file.

Classes
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
Defines
#define	relations   std_set_relations
#define	relations   buddy_relations
Typedefs
typedef wsr::RelationTypedefs < unsigned long > ::BinaryRelation	wali::relations::wsrbr
typedef wbr::RelationTypedefs < unsigned long > ::BinaryRelation	wali::relations::wbrbr
Functions
void	wali::relations::counter (char *vals, int size)
int	wali::relations::bdd_rel_size (::bdd b, int factor)
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_set (OutRelation &out_result, std::set< Triple< State, Symbol, State > > const &delta, Symbol alpha)
	Projects out the symbol in the internal and call relation.
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.
Variables
int	wali::relations::count

---

Define Documentation

#define relations   std_set_relations

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

#define relations   buddy_relations