smtrat::cad::CADConstraints< BT >::ConstraintComparator Struct Reference

#include <CADConstraints.h>

Public Member Functions
std::size_t	complexity (const ConstraintT &c) const
bool	operator() (const ConstraintT &lhs, const ConstraintT &rhs) const

Detailed Description

template<Backtracking BT>
struct smtrat::cad::CADConstraints< BT >::ConstraintComparator

Definition at line 26 of file CADConstraints.h.

Member Function Documentation

complexity()

template<Backtracking BT>

std::size_t smtrat::cad::CADConstraints< BT >::ConstraintComparator::complexity ( const ConstraintT &  c ) const

inline

Definition at line 27 of file CADConstraints.h.

Here is the caller graph for this function:

operator()()

template<Backtracking BT>

bool smtrat::cad::CADConstraints< BT >::ConstraintComparator::operator() ( const ConstraintT &  lhs, const ConstraintT &  rhs  ) const

inline

Definition at line 30 of file CADConstraints.h.

Here is the call graph for this function:

---

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

• smtrat-cad/utils/CADConstraints.h