SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Protected Member Functions
smtrat::expression::simplifier::MergeSimplifier Struct Reference

#include <MergeSimplifier.h>

Inheritance diagram for smtrat::expression::simplifier::MergeSimplifier:
Inheritance graph
[legend]
Collaboration diagram for smtrat::expression::simplifier::MergeSimplifier:
Collaboration graph
[legend]

Public Member Functions

const ExpressionContent * simplify (const NaryExpression &expr) const
 
const ExpressionContent * operator() (const carl::Variable &expr) const
 
const ExpressionContent * operator() (const ITEExpression &expr) const
 
const ExpressionContent * operator() (const QuantifierExpression &expr) const
 
const ExpressionContent * operator() (const UnaryExpression &expr) const
 
const ExpressionContent * operator() (const BinaryExpression &expr) const
 
const ExpressionContent * operator() (const NaryExpression &expr) const
 
const ExpressionContent * operator() (const ExpressionContent *_ec) const
 

Protected Member Functions

virtual const ExpressionContent * simplify (const carl::Variable &) const
 
virtual const ExpressionContent * simplify (const ITEExpression &) const
 
virtual const ExpressionContent * simplify (const QuantifierExpression &) const
 
virtual const ExpressionContent * simplify (const UnaryExpression &) const
 
virtual const ExpressionContent * simplify (const BinaryExpression &) const
 

Detailed Description

Definition at line 10 of file MergeSimplifier.h.

Member Function Documentation

◆ operator()() [1/7]

const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::operator() ( const BinaryExpression &  expr) const
inlineinherited

Definition at line 22 of file BaseSimplifier.h.

Here is the call graph for this function:

◆ operator()() [2/7]

const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::operator() ( const carl::Variable &  expr) const
inlineinherited

Definition at line 10 of file BaseSimplifier.h.

Here is the call graph for this function:

◆ operator()() [3/7]

const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::operator() ( const ExpressionContent *  _ec) const
inlineinherited

Definition at line 29 of file BaseSimplifier.h.

◆ operator()() [4/7]

const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::operator() ( const ITEExpression &  expr) const
inlineinherited

Definition at line 13 of file BaseSimplifier.h.

Here is the call graph for this function:

◆ operator()() [5/7]

const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::operator() ( const NaryExpression &  expr) const
inlineinherited

Definition at line 25 of file BaseSimplifier.h.

Here is the call graph for this function:

◆ operator()() [6/7]

const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::operator() ( const QuantifierExpression &  expr) const
inlineinherited

Definition at line 16 of file BaseSimplifier.h.

Here is the call graph for this function:

◆ operator()() [7/7]

const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::operator() ( const UnaryExpression &  expr) const
inlineinherited

Definition at line 19 of file BaseSimplifier.h.

Here is the call graph for this function:

◆ simplify() [1/6]

virtual const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::simplify ( const BinaryExpression &  ) const
inlineprotectedvirtualinherited

Definition at line 49 of file BaseSimplifier.h.

◆ simplify() [2/6]

virtual const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::simplify ( const carl::Variable &  ) const
inlineprotectedvirtualinherited

Definition at line 37 of file BaseSimplifier.h.

Here is the caller graph for this function:

◆ simplify() [3/6]

virtual const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::simplify ( const ITEExpression &  ) const
inlineprotectedvirtualinherited

Definition at line 40 of file BaseSimplifier.h.

◆ simplify() [4/6]

const ExpressionContent* smtrat::expression::simplifier::MergeSimplifier::simplify ( const NaryExpression &  expr) const
inlinevirtual

Reimplemented from smtrat::expression::simplifier::BaseSimplifier.

Definition at line 11 of file MergeSimplifier.h.

Here is the call graph for this function:

◆ simplify() [5/6]

virtual const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::simplify ( const QuantifierExpression &  ) const
inlineprotectedvirtualinherited

Definition at line 43 of file BaseSimplifier.h.

◆ simplify() [6/6]

virtual const ExpressionContent* smtrat::expression::simplifier::BaseSimplifier::simplify ( const UnaryExpression &  ) const
inlineprotectedvirtualinherited

Reimplemented in smtrat::expression::simplifier::NegationSimplifier.

Definition at line 46 of file BaseSimplifier.h.

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