LevelWiseInformation.h File Reference

#include <smtrat-cadcells/datastructures/polynomials.h>
#include <smtrat-cadcells/datastructures/projections.h>
#include <smtrat-cadcells/operators/operator_mccallum.h>
#include <smtrat-cadcells/representation/heuristics.h>
#include "Helper.h"
#include "NewCoveringModule.h"
#include "NewCoveringSettings.h"
#include "NewCoveringStatistics.h"
#include <smtrat-common/smtrat-common.h>

Include dependency graph for LevelWiseInformation.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::LevelWiseInformation< Settings >

Namespaces
	smtrat
	Class to create the formulas for axioms.

Enumerations
enum	smtrat::CoveringStatus { smtrat::partial = 0 , smtrat::full = 1 , smtrat::unknown = 2 , smtrat::failed = 3 }

Functions
std::ostream &	smtrat::operator<< (std::ostream &os, const CoveringStatus &status)
template<typename Settings >
std::ostream &	smtrat::operator<< (std::ostream &os, const LevelWiseInformation< Settings > &levelWiseInformation)

Detailed Description

Author

Philip Kroll Phili.nosp@m.p.Kr.nosp@m.oll@r.nosp@m.wth-.nosp@m.aache.nosp@m.n.de Created on 2021-12-17.

Definition in file LevelWiseInformation.h.