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

This heuristic chooses the explanation excluding the largest 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 largest interval.

Definition at line 301 of file ConflictGenerator.h.

Member Function Documentation

◆ operator()()

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

Definition at line 304 of file ConflictGenerator.h.

Field Documentation

◆ symmetric

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

Definition at line 302 of file ConflictGenerator.h.

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