smtrat::covering_ng::formula::pp::PolyInfo Struct Reference

Public Member Functions
void	set (carl::Relation rel)

Data Fields
bool	EQ = false
bool	NEQ = false
bool	LESS = false
bool	LEQ = false
bool	GREATER = false
bool	GEQ = false

Detailed Description

Definition at line 662 of file FormulaEvaluationGraph.cpp.

Member Function Documentation

set()

void smtrat::covering_ng::formula::pp::PolyInfo::set ( carl::Relation  rel )

inline

Definition at line 669 of file FormulaEvaluationGraph.cpp.

Field Documentation

EQ

bool smtrat::covering_ng::formula::pp::PolyInfo::EQ = false

Definition at line 663 of file FormulaEvaluationGraph.cpp.

GEQ

bool smtrat::covering_ng::formula::pp::PolyInfo::GEQ = false

Definition at line 668 of file FormulaEvaluationGraph.cpp.

GREATER

bool smtrat::covering_ng::formula::pp::PolyInfo::GREATER = false

Definition at line 667 of file FormulaEvaluationGraph.cpp.

LEQ

bool smtrat::covering_ng::formula::pp::PolyInfo::LEQ = false

Definition at line 666 of file FormulaEvaluationGraph.cpp.

LESS

bool smtrat::covering_ng::formula::pp::PolyInfo::LESS = false

Definition at line 665 of file FormulaEvaluationGraph.cpp.

NEQ

bool smtrat::covering_ng::formula::pp::PolyInfo::NEQ = false

Definition at line 664 of file FormulaEvaluationGraph.cpp.

---

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

• smtrat-coveringng/FormulaEvaluationGraph.cpp