smtrat::execution::Assertion Struct Reference

#include <ExecutionState.h>

Data Fields
FormulaT	formula

Detailed Description

Definition at line 12 of file ExecutionState.h.

Field Documentation

formula

FormulaT smtrat::execution::Assertion::formula

Definition at line 13 of file ExecutionState.h.

---

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

• cli/tools/ExecutionState.h