SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Types | Public Member Functions | Private Attributes
smtrat::PolyTree Class Reference

#include <PolyTree.h>

Collaboration diagram for smtrat::PolyTree:
Collaboration graph
[legend]

Public Types

enum class  Type : unsigned { VARIABLE , CONSTANT , SUM , PRODUCT }
 

Public Member Functions

 PolyTree (const Poly &_poly)
 
const PolyTree & left () const
 
const PolyTree & right () const
 
carl::Variable::Arg variable () const
 
const Integer & constant () const
 
Type type () const
 
const Poly & poly () const
 

Private Attributes

const PolyTreeContent * mpContent
 

Detailed Description

Definition at line 19 of file PolyTree.h.

Member Enumeration Documentation

◆ Type

enum smtrat::PolyTree::Type : unsigned
strong
Enumerator
VARIABLE 
CONSTANT 
SUM 
PRODUCT 

Definition at line 25 of file PolyTree.h.

Constructor & Destructor Documentation

◆ PolyTree()

smtrat::PolyTree::PolyTree ( const Poly &  _poly)

Definition at line 11 of file PolyTree.cpp.

Member Function Documentation

◆ constant()

const Integer & smtrat::PolyTree::constant ( ) const

Definition at line 30 of file PolyTree.cpp.

◆ left()

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

Definition at line 15 of file PolyTree.cpp.

◆ poly()

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

Definition at line 39 of file PolyTree.cpp.

◆ right()

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

Definition at line 20 of file PolyTree.cpp.

◆ type()

PolyTree::Type smtrat::PolyTree::type ( ) const

Definition at line 35 of file PolyTree.cpp.

◆ variable()

carl::Variable::Arg smtrat::PolyTree::variable ( ) const

Definition at line 25 of file PolyTree.cpp.

Field Documentation

◆ mpContent

const PolyTreeContent* smtrat::PolyTree::mpContent
private

Definition at line 22 of file PolyTree.h.

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