SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Types | Public Member Functions | Data Fields | Private Member Functions | Friends
smtrat::expression::ExpressionContent Struct Reference

#include <ExpressionContent.h>

Collaboration diagram for smtrat::expression::ExpressionContent:
Collaboration graph
[legend]

Public Types

typedef boost::variant< carl::Variable, ITEExpression, QuantifierExpression, UnaryExpression, BinaryExpression, NaryExpression > Content
 

Public Member Functions

template<typename... T>
 ExpressionContent (T &&... t)
 

Data Fields

Content content
 
std::size_t id
 
std::size_t hash
 
const ExpressionContent * negation
 

Private Member Functions

void updateHash ()
 

Friends

struct std::hash< Content >
 

Detailed Description

Definition at line 96 of file ExpressionContent.h.

Member Typedef Documentation

◆ Content

typedef boost::variant< carl::Variable, ITEExpression, QuantifierExpression, UnaryExpression, BinaryExpression, NaryExpression > smtrat::expression::ExpressionContent::Content

Definition at line 104 of file ExpressionContent.h.

Constructor & Destructor Documentation

◆ ExpressionContent()

template<typename... T>
smtrat::expression::ExpressionContent::ExpressionContent ( T &&...  t)
inline

Definition at line 113 of file ExpressionContent.h.

Here is the call graph for this function:

Member Function Documentation

◆ updateHash()

void smtrat::expression::ExpressionContent::updateHash ( )
private
Here is the caller graph for this function:

Friends And Related Function Documentation

◆ std::hash< Content >

friend struct std::hash< Content >
friend

Definition at line 104 of file ExpressionContent.h.

Field Documentation

◆ content

Content smtrat::expression::ExpressionContent::content

Definition at line 107 of file ExpressionContent.h.

◆ hash

std::size_t smtrat::expression::ExpressionContent::hash

Definition at line 109 of file ExpressionContent.h.

◆ id

std::size_t smtrat::expression::ExpressionContent::id

Definition at line 108 of file ExpressionContent.h.

◆ negation

const ExpressionContent* smtrat::expression::ExpressionContent::negation

Definition at line 110 of file ExpressionContent.h.

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