SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::cadcells::datastructures::PolyConstraint Struct Reference

#include <polynomials.h>

Collaboration diagram for smtrat::cadcells::datastructures::PolyConstraint:
Collaboration graph
[legend]

Data Fields

PolyRef lhs
 
carl::Relation relation
 

Detailed Description

Definition at line 38 of file polynomials.h.

Field Documentation

◆ lhs

PolyRef smtrat::cadcells::datastructures::PolyConstraint::lhs

Definition at line 39 of file polynomials.h.

◆ relation

carl::Relation smtrat::cadcells::datastructures::PolyConstraint::relation

Definition at line 40 of file polynomials.h.

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