smtrat::cad::ProjectionLevelInformation::EquationalConstraint Struct Reference

Data Fields
carl::Bitset	polynomials
	Which polynomials belong to this specific equational constraint. More...
bool	suitable = true
	Whether this equational constraint can be used. More...

Detailed Description

Definition at line 56 of file ProjectionInformation.h.

Field Documentation

polynomials

carl::Bitset smtrat::cad::ProjectionLevelInformation::EquationalConstraint::polynomials

Which polynomials belong to this specific equational constraint.

Definition at line 58 of file ProjectionInformation.h.

suitable

bool smtrat::cad::ProjectionLevelInformation::EquationalConstraint::suitable = true

Whether this equational constraint can be used.

An equational can not be used, if some factor is primitive.

Definition at line 61 of file ProjectionInformation.h.

---

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

• smtrat-cad/projection/ProjectionInformation.h