SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::expression::simplifier::SimplifierChainCaller< chainID > Struct Template Reference

#include <Simplifier.h>

Public Member Functions

const ExpressionContent * operator() (const ExpressionContent *_ec, const SimplifierChain &_chain) const
 

Data Fields

SimplifierChainCaller< chainID-1 > recurse
 

Detailed Description

template<std::size_t chainID = std::tuple_size<SimplifierChain>::value - 1>
struct smtrat::expression::simplifier::SimplifierChainCaller< chainID >

Definition at line 20 of file Simplifier.h.

Member Function Documentation

◆ operator()()

template<std::size_t chainID = std::tuple_size<SimplifierChain>::value - 1>
const ExpressionContent* smtrat::expression::simplifier::SimplifierChainCaller< chainID >::operator() ( const ExpressionContent *  _ec,
const SimplifierChain &  _chain 
) const
inline

Definition at line 22 of file Simplifier.h.

Field Documentation

◆ recurse

template<std::size_t chainID = std::tuple_size<SimplifierChain>::value - 1>
SimplifierChainCaller<chainID-1> smtrat::expression::simplifier::SimplifierChainCaller< chainID >::recurse

Definition at line 21 of file Simplifier.h.

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