carl  25.04
Computer ARithmetic Library
Data Fields
carl::SymbolicInterval< Poly > Struct Template Reference

#include <ModelValue.h>

Data Fields

std::optional< MultivariateRoot< Poly > > lower = std::nullopt
 
bool lower_strict = true
 
std::optional< MultivariateRoot< Poly > > upper = std::nullopt
 
bool upper_strict = true
 

Detailed Description

template<typename Poly>
struct carl::SymbolicInterval< Poly >

Definition at line 47 of file ModelValue.h.

Field Documentation

◆ lower

template<typename Poly >
std::optional<MultivariateRoot<Poly> > carl::SymbolicInterval< Poly >::lower = std::nullopt

Definition at line 48 of file ModelValue.h.

◆ lower_strict

template<typename Poly >
bool carl::SymbolicInterval< Poly >::lower_strict = true

Definition at line 49 of file ModelValue.h.

◆ upper

template<typename Poly >
std::optional<MultivariateRoot<Poly> > carl::SymbolicInterval< Poly >::upper = std::nullopt

Definition at line 50 of file ModelValue.h.

◆ upper_strict

template<typename Poly >
bool carl::SymbolicInterval< Poly >::upper_strict = true

Definition at line 51 of file ModelValue.h.

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