SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions
smtrat::covering_ng::IntervalCompare< PropertiesSet > Struct Template Reference

Sorts interval by their lower bounds. More...

#include <types.h>

Public Member Functions

constexpr bool operator() (const Interval< PropertiesSet > &a, const Interval< PropertiesSet > &b) const
 

Detailed Description

template<typename PropertiesSet>
struct smtrat::covering_ng::IntervalCompare< PropertiesSet >

Sorts interval by their lower bounds.

Definition at line 24 of file types.h.

Member Function Documentation

◆ operator()()

template<typename PropertiesSet >
constexpr bool smtrat::covering_ng::IntervalCompare< PropertiesSet >::operator() ( const Interval< PropertiesSet > &  a,
const Interval< PropertiesSet > &  b 
) const
inlineconstexpr

Definition at line 25 of file types.h.

Here is the call graph for this function:
The documentation for this struct was generated from the following file: