smtrat::cadcells::datastructures::IndexedRootRelation Struct Reference

A relation between two roots. More...

#include <roots.h>

Collaboration diagram for smtrat::cadcells::datastructures::IndexedRootRelation:

Data Fields
RootFunction	first
RootFunction	second
bool	is_strict

Detailed Description

A relation between two roots.

Definition at line 377 of file roots.h.

Field Documentation

first

RootFunction smtrat::cadcells::datastructures::IndexedRootRelation::first

Definition at line 378 of file roots.h.

is_strict

bool smtrat::cadcells::datastructures::IndexedRootRelation::is_strict

Definition at line 380 of file roots.h.

second

RootFunction smtrat::cadcells::datastructures::IndexedRootRelation::second

Definition at line 379 of file roots.h.

---

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

• smtrat-cadcells/datastructures/roots.h