carl  24.04
Computer ARithmetic Library
Data Fields
carl::vs::zero< Poly > Struct Template Reference

A square root expression with side conditions. More...

#include <zeros.h>

Data Fields

SqrtEx< Poly > sqrt_ex
 
Constraints< Poly > side_condition
 

Detailed Description

template<typename Poly>
struct carl::vs::zero< Poly >

A square root expression with side conditions.

Definition at line 13 of file zeros.h.

Field Documentation

◆ side_condition

template<typename Poly >
Constraints<Poly> carl::vs::zero< Poly >::side_condition

Definition at line 15 of file zeros.h.

◆ sqrt_ex

template<typename Poly >
SqrtEx<Poly> carl::vs::zero< Poly >::sqrt_ex

Definition at line 14 of file zeros.h.

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