SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions
smtrat::cad::projection_compare::ProjectionComparator_impl< Args > Struct Template Reference

#include <ProjectionComparator.h>

Inheritance diagram for smtrat::cad::projection_compare::ProjectionComparator_impl< Args >:
Inheritance graph
[legend]

Public Member Functions

template<typename Poly >
bool operator() (const Candidate< Poly > &lhs, const Candidate< Poly > &rhs) const
 

Detailed Description

template<typename... Args>
struct smtrat::cad::projection_compare::ProjectionComparator_impl< Args >

Definition at line 66 of file ProjectionComparator.h.

Member Function Documentation

◆ operator()()

template<typename... Args>
template<typename Poly >
bool smtrat::cad::projection_compare::ProjectionComparator_impl< Args >::operator() ( const Candidate< Poly > &  lhs,
const Candidate< Poly > &  rhs 
) const
inline

Definition at line 68 of file ProjectionComparator.h.

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