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:

• solver/InteractionManager.h
• solver/InteractionManager.cpp