SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::cad::preprocessor::ConstraintUpdate Struct Reference

#include <CADPreprocessor.h>

Collaboration diagram for smtrat::cad::preprocessor::ConstraintUpdate:
Collaboration graph
[legend]

Data Fields

std::vector< ConstraintT > toAdd
 
std::vector< ConstraintT > toRemove
 

Detailed Description

Definition at line 114 of file CADPreprocessor.h.

Field Documentation

◆ toAdd

std::vector< ConstraintT > smtrat::cad::preprocessor::ConstraintUpdate::toAdd

Definition at line 115 of file CADPreprocessor.h.

◆ toRemove

std::vector< ConstraintT > smtrat::cad::preprocessor::ConstraintUpdate::toRemove

Definition at line 116 of file CADPreprocessor.h.

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