smtrat::cadcells::representation::cell< H > Struct Template Reference

Note: If connected(i) holds, then the indexed root ordering must contain an ordering between the interval bounds. More...

#include <heuristics.h>

Static Public Member Functions
template<typename T >
static datastructures::CellRepresentation< T >	compute (datastructures::SampledDerivationRef< T > &der)

Detailed Description

template<CellHeuristic H>
struct smtrat::cadcells::representation::cell< H >

Note: If connected(i) holds, then the indexed root ordering must contain an ordering between the interval bounds.

Definition at line 24 of file heuristics.h.

Member Function Documentation

compute()

template<CellHeuristic H>

template<typename T >

static datastructures::CellRepresentation<T> smtrat::cadcells::representation::cell< H >::compute ( datastructures::SampledDerivationRef< T > &  der )

static

Here is the caller graph for this function:

---

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

• smtrat-cadcells/representation/heuristics.h