smtrat-cadcells.h File Reference

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cadcells
	A framework for sample-based CAD algorithms.
	smtrat::cadcells::datastructures
	Main datastructures.
	smtrat::cadcells::operators
	Projection operators.
	smtrat::cadcells::representation
	Heuristics for computing representations.
	smtrat::cadcells::algorithms
	Various algorithms as well as helper functions for developing new algorithms.