ICEModule.h File Reference

#include <smtrat-solver/PModule.h>
#include <smtrat-variablebounds/VariableBounds.h>
#include "ICESettings.h"
#include "ForwardHyperGraph.h"

Include dependency graph for ICEModule.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::ICEModule< Settings >
struct	smtrat::ICEModule< Settings >::Coefficient
struct	smtrat::ICEModule< Settings >::EdgeProperty
struct	smtrat::ICEModule< Settings >::CycleCollector

Namespaces
	smtrat
	Class to create the formulas for axioms.

Detailed Description

Author

YOUR NAME <YOUR EMAIL ADDRESS>

Supports optimization.

Version

2015-11-24 Created on 2015-11-24.

Definition in file ICEModule.h.