SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions
std::hash< smtrat::expression::QuantifierExpression > Struct Reference

#include <ExpressionHash.h>

Public Member Functions

std::size_t operator() (const smtrat::expression::QuantifierExpression &ec) const
 

Detailed Description

Definition at line 64 of file ExpressionHash.h.

Member Function Documentation

◆ operator()()

std::size_t std::hash< smtrat::expression::QuantifierExpression >::operator() ( const smtrat::expression::QuantifierExpression &  ec) const
inline

Definition at line 65 of file ExpressionHash.h.

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