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

Public Member Functions

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

Detailed Description

Definition at line 19 of file fmplex.h.

Member Function Documentation

◆ operator()()

bool smtrat::fmplex::FMplexElimination::cmp_row::operator() ( const Row &  a,
const Row &  b 
) const
inline

Definition at line 20 of file fmplex.h.

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