SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes
smtrat::expression::simplifier::Simplifier Class Reference

#include <Simplifier.h>

Collaboration diagram for smtrat::expression::simplifier::Simplifier:
Collaboration graph
[legend]

Public Member Functions

const ExpressionContent * operator() (const ExpressionContent *_ec) const
 

Private Attributes

SimplifierChain mChain
 
SimplifierChainCaller mCaller
 

Detailed Description

Definition at line 38 of file Simplifier.h.

Member Function Documentation

◆ operator()()

const ExpressionContent* smtrat::expression::simplifier::Simplifier::operator() ( const ExpressionContent *  _ec) const
inline

Definition at line 45 of file Simplifier.h.

Field Documentation

◆ mCaller

SimplifierChainCaller smtrat::expression::simplifier::Simplifier::mCaller
private

Definition at line 42 of file Simplifier.h.

◆ mChain

SimplifierChain smtrat::expression::simplifier::Simplifier::mChain
private

Definition at line 41 of file Simplifier.h.

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