smtrat::cadcells::datastructures::IndexedRoot Struct Reference

Represents the i-th root of a multivariate polynomial at its main variable (given an appropriate sample). More...

#include <roots.h>

Collaboration diagram for smtrat::cadcells::datastructures::IndexedRoot:

Public Member Functions
	IndexedRoot (PolyRef p, size_t i)
	IndexedRoot ()

Data Fields
PolyRef	poly
	A multivariate polynomial. More...
size_t	index
	The index, must be > 0. More...

Detailed Description

Represents the i-th root of a multivariate polynomial at its main variable (given an appropriate sample).

Definition at line 15 of file roots.h.

Constructor & Destructor Documentation

IndexedRoot() [1/2]

smtrat::cadcells::datastructures::IndexedRoot::IndexedRoot ( PolyRef  p, size_t  i  )

inline

Definition at line 20 of file roots.h.

IndexedRoot() [2/2]

smtrat::cadcells::datastructures::IndexedRoot::IndexedRoot ( )

inline

Definition at line 21 of file roots.h.

Field Documentation

index

size_t smtrat::cadcells::datastructures::IndexedRoot::index

The index, must be > 0.

Definition at line 19 of file roots.h.

poly

PolyRef smtrat::cadcells::datastructures::IndexedRoot::poly

A multivariate polynomial.

Definition at line 17 of file roots.h.

---

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

• smtrat-cadcells/datastructures/roots.h