smtrat::analyzer::Projector< Settings > Struct Template Reference

Collaboration diagram for smtrat::analyzer::Projector< Settings >:

Public Member Functions
	Projector ()
void	add (const ConstraintT &c)

Data Fields
cad::CADConstraints< Settings::backtracking >	mConstraints
cad::ProjectionT< Settings >	mProjection

Detailed Description

template<typename Settings>
struct smtrat::analyzer::Projector< Settings >

Definition at line 15 of file cad_projections.cpp.

Constructor & Destructor Documentation

Projector()

template<typename Settings >

smtrat::analyzer::Projector< Settings >::Projector ( )

inline

Definition at line 19 of file cad_projections.cpp.

Here is the call graph for this function:

Member Function Documentation

add()

template<typename Settings >

void smtrat::analyzer::Projector< Settings >::add ( const ConstraintT &  c )

inline

Definition at line 27 of file cad_projections.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

Field Documentation

mConstraints

template<typename Settings >

cad::CADConstraints<Settings::backtracking> smtrat::analyzer::Projector< Settings >::mConstraints

Definition at line 16 of file cad_projections.cpp.

mProjection

template<typename Settings >

cad::ProjectionT<Settings> smtrat::analyzer::Projector< Settings >::mProjection

Definition at line 17 of file cad_projections.cpp.

---

The documentation for this struct was generated from the following file:

• smtrat-analyzer/analyzers/cad_projections.cpp