A literal is used to represent a variable or its negation. If it represents the variable it is said to be positive. If it represent its negation, it i

A term in an sum of variables multiplied by coefficients.

A QuadraticExpression with upper and lower bounds.

Error Class thrown by an exception This class is used when exceptions are thrown. It contains: <ul> <li>message text <li>name of method throwin

Forward declaration needed by Variable.

---------- float ----------

A constructor tag type used when creating an Archetype with internal state.

---------- double ----------

---------- float ----------

A LinearExpression with upper and lower bounds.

---------- double ----------

---------- float ----------

Like std::less, but allows heterogeneous arguments.

---------- float ----------

Default device for the machine (typically a single cpu core)

---------- double ----------

---------- float ----------

Forward declaration so that we may add it as a friend to LinearExpression

Represents a quadratic term in a sum: coefficient * variable_1 * variable_2. Invariant: first_variable.storage() == second_variable.storage(). The con

Time::Breakdown The calendar and wall-clock (aka "civil time") components of an `absl::Time` in a certain `absl::TimeZone`. This struct is not intend

A type-erased handle to a format argument.

Represents [coeff * variable + constant] or just a [constant]. In some places it is useful to manipulate such expression instead of having to create

The integer equivalent of a literal. It represents an IntegerVariable and an upper/lower bound on it. Overflow: all the bounds below kMinIntegerValue

Export options.

Formatter using std::to_chars() to print a `double` so that a round trip conversion back to double will result in the same number (using absl::from_ch

Forward declarations of types implementing the keys interface defined at the top of this file.

We want to allow for variant<> to be trivial. For that, we need the default constructor to be trivial, which means we can't define it ourselves. Inste

Defined below

in_place_t Tag type used to specify in-place construction, such as with `absl::optional`, designed to be a drop-in replacement for C++17's `std::in_p

A LinearExpression with a lower bound.

A QuadraticExpression with a lower bound.

SkipEmpty() Returns `false` if the given `absl::string_view` is empty, indicating that `StrSplit()` should omit the empty string. Example: std::vec

Class representing a specific location in the source code of a program. `absl::SourceLocation` is copyable.

TODO(b/176172494): ABSL_MUST_USE_RESULT should expand to the more strict [[nodiscard]]. For now, just use [[nodiscard]] directly when it is available.

A LinearExpression with an upper bound.

A QuadraticExpression with an upper bound.

A value type that references a variable from ModelStorage. Usually this type is passed by copy.

CordBuffer CordBuffer manages memory buffers for purposes such as zero-copy APIs as well as applications building cords with large data requiring gra

Duration The `absl::Duration` class represents a signed, fixed-length amount of time. A `Duration` is generated using a unit-specific factory functio

A string that may own its contents, or live inside of a buffer owned by a ZeroCopyBufferedStream. Note that this type holds onto a reference to the o