carl::InfinityValue Struct Reference

This class represents infinity or minus infinity, depending on its flag positive. More...

#include <ModelValue.h>

Data Fields
bool	positive = false

Detailed Description

This class represents infinity or minus infinity, depending on its flag positive.

The default is minus infinity.

Definition at line 36 of file ModelValue.h.

Field Documentation

positive

bool carl::InfinityValue::positive = false

Definition at line 37 of file ModelValue.h.

---

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

• carl-formula/model/ModelValue.h