gum::prm::o3prm::O3Formula Class Reference

The O3Formula is part of the AST of the O3PRM language. More...

#include <agrum/PRM/o3prm/O3prm.h>

Collaboration diagram for gum::prm::o3prm::O3Formula:

Public Member Functions
	O3Formula ()
	O3Formula (const O3Position &pos, const Formula &formula)
	O3Formula (const O3Formula &src)
	O3Formula (O3Formula &&src)
	~O3Formula ()
O3Formula &	operator= (const O3Formula &src)
O3Formula &	operator= (O3Formula &&src)
O3Position &	position ()
const O3Position &	position () const
Formula &	formula ()
const Formula &	formula () const

Detailed Description

The O3Formula is part of the AST of the O3PRM language.

Definition at line 86 of file O3prm.h.

Constructor & Destructor Documentation

O3Formula() [1/4]

gum::prm::o3prm::O3Formula::O3Formula

(

)

Definition at line 162 of file O3prm.cpp.

                           :
          __pos(), __formula(std::unique_ptr< Formula >(new Formula(""))) {
        GUM_CONSTRUCTOR(O3Formula);
      }

O3Formula() [2/4]

gum::prm::o3prm::O3Formula::O3Formula	(	const O3Position &	pos,
		const Formula &	formula
	)

Definition at line 167 of file O3prm.cpp.

                                                                        :
          __pos(pos), __formula(std::unique_ptr< Formula >(new Formula(formula))) {
        GUM_CONSTRUCTOR(O3Formula);
      }

O3Formula() [3/4]

gum::prm::o3prm::O3Formula::O3Formula

(

const O3Formula &

src

)

Definition at line 172 of file O3prm.cpp.

                                               :
          __pos(src.__pos),
          __formula(std::unique_ptr< Formula >(new Formula(src.formula()))) {
        GUM_CONS_CPY(O3Formula);
      }

O3Formula() [4/4]

gum::prm::o3prm::O3Formula::O3Formula

(

O3Formula &&

src

)

Definition at line 178 of file O3prm.cpp.

                                          :
          __pos(std::move(src.__pos)), __formula(std::move(src.__formula)) {
        GUM_CONS_MOV(O3Formula);
      }

~O3Formula()

gum::prm::o3prm::O3Formula::~O3Formula

(

)

Definition at line 183 of file O3prm.cpp.

{ GUM_DESTRUCTOR(O3Formula); }

Member Function Documentation

formula() [1/2]

Formula & gum::prm::o3prm::O3Formula::formula

(

)

Definition at line 203 of file O3prm.cpp.

References __formula.

Referenced by operator=().

{ return *__formula; }

Here is the caller graph for this function:

formula() [2/2]

const Formula & gum::prm::o3prm::O3Formula::formula

(

)

const

Definition at line 202 of file O3prm.cpp.

References __formula.

{ return *__formula; }

operator=() [1/2]

O3Formula & gum::prm::o3prm::O3Formula::operator=

(

const O3Formula &

src

)

Definition at line 185 of file O3prm.cpp.

References __formula, __pos, and formula().

                                                          {
        if (this == &src) { return *this; }
        __pos = src.__pos;
        __formula = std::unique_ptr< Formula >(new Formula(src.formula()));
        return *this;
      }

Here is the call graph for this function:

operator=() [2/2]

O3Formula & gum::prm::o3prm::O3Formula::operator=

(

O3Formula &&

src

)

Definition at line 192 of file O3prm.cpp.

References __formula, and __pos.

                                                     {
        if (this == &src) { return *this; }
        __pos = std::move(src.__pos);
        __formula = std::move(src.__formula);
        return *this;
      }

position() [1/2]

O3Position & gum::prm::o3prm::O3Formula::position

(

)

Definition at line 200 of file O3prm.cpp.

References __pos.

{ return __pos; }

position() [2/2]

const O3Position & gum::prm::o3prm::O3Formula::position

(

)

const

Definition at line 199 of file O3prm.cpp.

References __pos.

{ return __pos; }

Member Data Documentation

__formula

std::unique_ptr< Formula > gum::prm::o3prm::O3Formula::__formula

private

Definition at line 105 of file O3prm.h.

Referenced by formula(), and operator=().

__pos

O3Position gum::prm::o3prm::O3Formula::__pos

private

Definition at line 104 of file O3prm.h.

Referenced by operator=(), and position().

---

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

• agrum/PRM/o3prm/O3prm.h
• agrum/PRM/o3prm/O3prm.cpp