SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::ICPModule< Settings >::weights Struct Reference

#include <ICPModule.h>

Collaboration diagram for smtrat::ICPModule< Settings >::weights:
Collaboration graph
[legend]

Data Fields

std::list< linearVariable * > origins
 
double weight
 

Detailed Description

template<class Settings>
struct smtrat::ICPModule< Settings >::weights

Definition at line 68 of file ICPModule.h.

Field Documentation

◆ origins

template<class Settings >
std::list<linearVariable*> smtrat::ICPModule< Settings >::weights::origins

Definition at line 70 of file ICPModule.h.

◆ weight

template<class Settings >
double smtrat::ICPModule< Settings >::weights::weight

Definition at line 71 of file ICPModule.h.

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