smtrat::PolyTreeContent Class Reference

#include <PolyTree.h>

Public Member Functions
	PolyTreeContent (const Poly &_poly, PolyTree::Type _type, const PolyTree &_left, const PolyTree &_right)
	PolyTreeContent (carl::Variable::Arg _variable)
	PolyTreeContent (Integer _constant)
	~PolyTreeContent ()
const Poly &	poly () const
bool	operator== (const PolyTreeContent &_other) const

Private Attributes
Poly	mPoly
PolyTree::Type	mType
union {
carl::Variable   mVariable
Integer   mConstant
};
std::optional< PolyTree >	mLeft
std::optional< PolyTree >	mRight

Friends
class	PolyTree

Detailed Description

Definition at line 37 of file PolyTree.h.

Constructor & Destructor Documentation

PolyTreeContent() [1/3]

smtrat::PolyTreeContent::PolyTreeContent ( const Poly &  _poly, PolyTree::Type  _type, const PolyTree &  _left, const PolyTree &  _right  )

inline

Definition at line 53 of file PolyTree.h.

PolyTreeContent() [2/3]

smtrat::PolyTreeContent::PolyTreeContent ( carl::Variable::Arg  _variable )

inline

Definition at line 59 of file PolyTree.h.

PolyTreeContent() [3/3]

smtrat::PolyTreeContent::PolyTreeContent ( Integer  _constant )

inline

Definition at line 63 of file PolyTree.h.

~PolyTreeContent()

smtrat::PolyTreeContent::~PolyTreeContent ( )

inline

Definition at line 67 of file PolyTree.h.

Member Function Documentation

operator==()

bool smtrat::PolyTreeContent::operator== ( const PolyTreeContent &  _other ) const

inline

Definition at line 81 of file PolyTree.h.

poly()

const Poly& smtrat::PolyTreeContent::poly ( ) const

inline

Definition at line 76 of file PolyTree.h.

Here is the caller graph for this function:

Friends And Related Function Documentation

PolyTree

friend class PolyTree

friend

Definition at line 39 of file PolyTree.h.

Field Documentation

union { ... }

mConstant

Integer smtrat::PolyTreeContent::mConstant

Definition at line 47 of file PolyTree.h.

mLeft

std::optional<PolyTree> smtrat::PolyTreeContent::mLeft

private

Definition at line 49 of file PolyTree.h.

mPoly

Poly smtrat::PolyTreeContent::mPoly

private

Definition at line 42 of file PolyTree.h.

mRight

std::optional<PolyTree> smtrat::PolyTreeContent::mRight

private

Definition at line 50 of file PolyTree.h.

mType

PolyTree::Type smtrat::PolyTreeContent::mType

private

Definition at line 43 of file PolyTree.h.

mVariable

carl::Variable smtrat::PolyTreeContent::mVariable

Definition at line 46 of file PolyTree.h.

---

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

• smtrat-modules/IntBlastModule/PolyTree.h