SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::execution::Objective Struct Reference

#include <ExecutionState.h>

Data Fields

Poly function
 
bool minimize
 

Detailed Description

Definition at line 20 of file ExecutionState.h.

Field Documentation

◆ function

Poly smtrat::execution::Objective::function

Definition at line 21 of file ExecutionState.h.

◆ minimize

bool smtrat::execution::Objective::minimize

Definition at line 22 of file ExecutionState.h.

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