SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::cad::variable_ordering::triangular_data Struct Reference
Collaboration diagram for smtrat::cad::variable_ordering::triangular_data:
Collaboration graph
[legend]

Public Member Functions

bool operator() (carl::Variable lhs, carl::Variable rhs) const
 

Data Fields

VariableMap< std::size_t > max_deg
 
VariableMap< std::size_t > max_tdeg
 
VariableMap< std::size_t > sum_deg
 

Detailed Description

Definition at line 25 of file triangular_ordering.cpp.

Member Function Documentation

◆ operator()()

bool smtrat::cad::variable_ordering::triangular_data::operator() ( carl::Variable  lhs,
carl::Variable  rhs 
) const
inline

Definition at line 30 of file triangular_ordering.cpp.

Field Documentation

◆ max_deg

VariableMap<std::size_t> smtrat::cad::variable_ordering::triangular_data::max_deg

Definition at line 26 of file triangular_ordering.cpp.

◆ max_tdeg

VariableMap<std::size_t> smtrat::cad::variable_ordering::triangular_data::max_tdeg

Definition at line 27 of file triangular_ordering.cpp.

◆ sum_deg

VariableMap<std::size_t> smtrat::cad::variable_ordering::triangular_data::sum_deg

Definition at line 28 of file triangular_ordering.cpp.

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