SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions
smtrat::ModuleInput::IteratorCompare Struct Reference

#include <ModuleInput.h>

Public Member Functions

bool operator() (const_iterator i1, const_iterator i2) const
 

Detailed Description

Definition at line 388 of file ModuleInput.h.

Member Function Documentation

◆ operator()()

bool smtrat::ModuleInput::IteratorCompare::operator() ( const_iterator  i1,
const_iterator  i2 
) const
inline

Definition at line 390 of file ModuleInput.h.

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