smtrat::onecellcad::recursive::Section Struct Reference

Represent a cell's closed-interval-boundary object along one single axis by an irreducible, multivariate polynomial of level k. More...

#include <OpenCAD.h>

Data Fields
MultiPoly	poly
RAN	cachedPoint
	A single, special bound after having plugged a specific point of level k-1 can be cached for performance (needed for [1]). More...

Detailed Description

Represent a cell's closed-interval-boundary object along one single axis by an irreducible, multivariate polynomial of level k.

A section is an algebraic/"moving" boundary, because it's basically a function f: algReal^{k-1} -> algReal; from a multi-dimensional input point of level k-1 (whose components are algebraic reals) to an algebraic real (the bound along k-th axis that changes depending on the input point).

Definition at line 51 of file OpenCAD.h.

Field Documentation

cachedPoint

RAN smtrat::onecellcad::recursive::Section::cachedPoint

A single, special bound after having plugged a specific point of level k-1 can be cached for performance (needed for [1]).

Definition at line 58 of file OpenCAD.h.

poly

MultiPoly smtrat::onecellcad::recursive::Section::poly

Definition at line 52 of file OpenCAD.h.

---

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

• smtrat-mcsat/explanations/onecellcad/recursive/OpenCAD.h