smtrat::TotalizerTree Class Reference

#include <TotalizerEncoder.h>

Collaboration diagram for smtrat::TotalizerTree:

Public Member Functions
	TotalizerTree (const std::set< carl::Variable > &variables)
	~TotalizerTree ()
bool	isLeaf ()
TotalizerTree &	left ()
TotalizerTree &	right ()
std::vector< carl::Variable >	variables ()

Private Attributes
std::vector< carl::Variable >	mNodeVariables
TotalizerTree *	mLeft = nullptr
TotalizerTree *	mRight = nullptr

Detailed Description

Definition at line 41 of file TotalizerEncoder.h.

Constructor & Destructor Documentation

TotalizerTree()

smtrat::TotalizerTree::TotalizerTree

(

const std::set< carl::Variable > &

variables

)

Definition at line 110 of file TotalizerEncoder.cpp.

Here is the call graph for this function:

~TotalizerTree()

smtrat::TotalizerTree::~TotalizerTree ( )

inline

Definition at line 45 of file TotalizerEncoder.h.

Member Function Documentation

isLeaf()

bool smtrat::TotalizerTree::isLeaf ( )

inline

Definition at line 50 of file TotalizerEncoder.h.

Here is the caller graph for this function:

left()

TotalizerTree& smtrat::TotalizerTree::left ( )

inline

Definition at line 52 of file TotalizerEncoder.h.

Here is the caller graph for this function:

right()

TotalizerTree& smtrat::TotalizerTree::right ( )

inline

Definition at line 57 of file TotalizerEncoder.h.

Here is the caller graph for this function:

variables()

std::vector<carl::Variable> smtrat::TotalizerTree::variables ( )

inline

Definition at line 62 of file TotalizerEncoder.h.

Here is the caller graph for this function:

Field Documentation

mLeft

TotalizerTree* smtrat::TotalizerTree::mLeft = nullptr

private

Definition at line 67 of file TotalizerEncoder.h.

mNodeVariables

std::vector<carl::Variable> smtrat::TotalizerTree::mNodeVariables

private

Definition at line 66 of file TotalizerEncoder.h.

mRight

TotalizerTree* smtrat::TotalizerTree::mRight = nullptr

private

Definition at line 68 of file TotalizerEncoder.h.

---

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

• smtrat-modules/PBPPModule/Encoders/TotalizerEncoder.h
• smtrat-modules/PBPPModule/Encoders/TotalizerEncoder.cpp