ICPModule.h File Reference

#include <smtrat-solver/Module.h>
#include "ContractionCandidateManager.h"
#include "IcpVariable.h"
#include "../LRAModule/LRAModule.h"
#include "../LRAModule/LRASettings.h"
#include <smtrat-common/smtrat-common.h>
#include <smtrat-variablebounds/VariableBounds.h>
#include "ICPSettings.h"
#include "utils.h"
#include "HistoryNode.h"
#include <fstream>
#include <queue>

Include dependency graph for ICPModule.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	smtrat::ICPModule< Settings >
struct	smtrat::ICPModule< Settings >::comp
	Typedefs: More...
struct	smtrat::ICPModule< Settings >::formulaPtrComp
struct	smtrat::ICPModule< Settings >::linearVariable
struct	smtrat::ICPModule< Settings >::weights

Namespaces
	smtrat
	Class to create the formulas for axioms.