SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::mcsat::icp::QueueEntry Struct Reference

#include <IntervalPropagation.h>

Data Fields

double priority
 
carl::contractor::Contractor< FormulaT, Poly > contractor
 

Detailed Description

Definition at line 15 of file IntervalPropagation.h.

Field Documentation

◆ contractor

carl::contractor::Contractor<FormulaT, Poly> smtrat::mcsat::icp::QueueEntry::contractor

Definition at line 17 of file IntervalPropagation.h.

◆ priority

double smtrat::mcsat::icp::QueueEntry::priority

Definition at line 16 of file IntervalPropagation.h.

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