SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::qe::fmplex::FMplexQE::cmp_row Struct Reference

#include <FMplexQE.h>

Public Member Functions

bool operator() (const Row &a, const Row &b) const
 

Detailed Description

Definition at line 21 of file FMplexQE.h.

Member Function Documentation

◆ operator()()

bool smtrat::qe::fmplex::FMplexQE::cmp_row::operator() ( const Row a,
const Row b 
) const
inline

Definition at line 22 of file FMplexQE.h.


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