smtrat::Optimization< Solver >::Objective Struct Reference

Data Fields
Poly	function
bool	minimize

Detailed Description

template<typename Solver>
struct smtrat::Optimization< Solver >::Objective

Definition at line 14 of file Optimization.h.

Field Documentation

function

template<typename Solver >

Poly smtrat::Optimization< Solver >::Objective::function

Definition at line 15 of file Optimization.h.

minimize

template<typename Solver >

bool smtrat::Optimization< Solver >::Objective::minimize

Definition at line 16 of file Optimization.h.

---

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

• smtrat-optimization/Optimization.h