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

This heuristic chooses the explanation excluding the smallest interval. More...

#include <ConflictGenerator.h>

Public Member Functions

bool operator() (const Bound &b1, const Bound &b2) const
 

Data Fields

bool symmetric = true
 

Detailed Description

This heuristic chooses the explanation excluding the smallest interval.

Definition at line 312 of file ConflictGenerator.h.

Member Function Documentation

◆ operator()()

bool smtrat::mcsat::fm::MinSizeComparator::operator() ( const Bound &  b1,
const Bound &  b2 
) const
inline

Definition at line 315 of file ConflictGenerator.h.

Field Documentation

◆ symmetric

bool smtrat::mcsat::fm::MinSizeComparator::symmetric = true

Definition at line 313 of file ConflictGenerator.h.

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