Public Member Functions
InteractionManager Class Reference

List of all members.

Public Member Functions

 InteractionManager (ClauseSolve *s, set< Term * > &equality_terms, set< int > &function_terms)
bool add_inferred_equalities ()
bool add_inferred_inequalities ()
void build_queries ()
set< ILPQuery * > & get_queries ()
set< ILPQuery * > & refine_queries ()
string queries_to_string ()

The documentation for this class was generated from the following files: