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

Does not order anything. More...

#include <ConflictGenerator.h>

Public Member Functions

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

Data Fields

bool symmetric = false
 

Detailed Description

Does not order anything.

Definition at line 290 of file ConflictGenerator.h.

Member Function Documentation

◆ operator()()

bool smtrat::mcsat::fm::DefaultComparator::operator() ( const Bound &  ,
const Bound &   
) const
inline

Definition at line 293 of file ConflictGenerator.h.

Field Documentation

◆ symmetric

bool smtrat::mcsat::fm::DefaultComparator::symmetric = false

Definition at line 291 of file ConflictGenerator.h.

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