smtrat::ConstrTree Class Reference

#include <IntBlastModule.h>

Collaboration diagram for smtrat::ConstrTree:

Public Member Functions
	ConstrTree (const ConstraintT &_constraint)
	~ConstrTree ()
carl::Relation	relation () const
const PolyTree &	left () const
const PolyTree &	right () const
const ConstraintT &	constraint () const

Private Attributes
carl::Relation	mRelation
PolyTree *	mpLeftPoly
PolyTree *	mpRightPoly
ConstraintT	mConstraint

Detailed Description

Definition at line 261 of file IntBlastModule.h.

Constructor & Destructor Documentation

ConstrTree()

smtrat::ConstrTree::ConstrTree ( const ConstraintT &  _constraint )

inline

Definition at line 270 of file IntBlastModule.h.

~ConstrTree()

smtrat::ConstrTree::~ConstrTree ( )

inline

Definition at line 286 of file IntBlastModule.h.

Member Function Documentation

constraint()

const ConstraintT& smtrat::ConstrTree::constraint ( ) const

inline

Definition at line 303 of file IntBlastModule.h.

left()

const PolyTree& smtrat::ConstrTree::left ( ) const

inline

Definition at line 295 of file IntBlastModule.h.

relation()

carl::Relation smtrat::ConstrTree::relation ( ) const

inline

Definition at line 291 of file IntBlastModule.h.

right()

const PolyTree& smtrat::ConstrTree::right ( ) const

inline

Definition at line 299 of file IntBlastModule.h.

Field Documentation

mConstraint

ConstraintT smtrat::ConstrTree::mConstraint

private

Definition at line 267 of file IntBlastModule.h.

mpLeftPoly

PolyTree* smtrat::ConstrTree::mpLeftPoly

private

Definition at line 265 of file IntBlastModule.h.

mpRightPoly

PolyTree* smtrat::ConstrTree::mpRightPoly

private

Definition at line 266 of file IntBlastModule.h.

mRelation

carl::Relation smtrat::ConstrTree::mRelation

private

Definition at line 264 of file IntBlastModule.h.

---

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

• smtrat-modules/IntBlastModule/IntBlastModule.h