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

#include <ExecutionState.h>

Collaboration diagram for smtrat::execution::SoftAssertion:
Collaboration graph
[legend]

Data Fields

FormulaT formula
 
Rational weight
 
std::string id
 

Detailed Description

Definition at line 15 of file ExecutionState.h.

Field Documentation

◆ formula

FormulaT smtrat::execution::SoftAssertion::formula

Definition at line 16 of file ExecutionState.h.

◆ id

std::string smtrat::execution::SoftAssertion::id

Definition at line 18 of file ExecutionState.h.

◆ weight

Rational smtrat::execution::SoftAssertion::weight

Definition at line 17 of file ExecutionState.h.

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