Minotaur 0.4.1
Docs for developers
Public Member Functions | List of all members
Minotaur::CompareLinBil Struct Reference

#include <LinBil.h>

Public Member Functions

bool operator() (LinBil *b0, LinBil *b1) const
 

Detailed Description

Compare two LinBil objects. Since we keep them in a set, we need to sort them. We use lexicographic ordering (i.e. based on ids of $(x_0, x_1)$).


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

Minotaur source code documented by Doxygen 1.9.4 on Thu Apr 24 2025