SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::mcsat::vs::helper::TestCandidate Struct Reference

#include <VSHelper.h>

Public Member Functions

bool operator== (const TestCandidate &other) const
 

Data Fields

carl::vs::Term< Poly > term
 
ConstraintsT side_condition
 

Detailed Description

Definition at line 81 of file VSHelper.h.

Member Function Documentation

◆ operator==()

bool smtrat::mcsat::vs::helper::TestCandidate::operator== ( const TestCandidate &  other) const
inline

Definition at line 84 of file VSHelper.h.

Field Documentation

◆ side_condition

ConstraintsT smtrat::mcsat::vs::helper::TestCandidate::side_condition

Definition at line 83 of file VSHelper.h.

◆ term

carl::vs::Term<Poly> smtrat::mcsat::vs::helper::TestCandidate::term

Definition at line 82 of file VSHelper.h.

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