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 85 of file O3prm.h.

Constructor & Destructor Documentation

O3Formula() [1/4]

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

(

)

Definition at line 170 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 174 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 179 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 184 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 189 of file O3prm.cpp.

                            {
        GUM_DESTRUCTOR(O3Formula);
        ;
      }

Member Function Documentation

formula() [1/2]

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

(

)

Definition at line 212 of file O3prm.cpp.

{ return *_formula_; }

formula() [2/2]

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

(

)

const

Definition at line 211 of file O3prm.cpp.

{ return *_formula_; }

operator=() [1/2]

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

(

const O3Formula &

src

)

Definition at line 194 of file O3prm.cpp.

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

operator=() [2/2]

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

(

O3Formula &&

src

)

Definition at line 201 of file O3prm.cpp.

                                                     {
        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 209 of file O3prm.cpp.

{ return _pos_; }

position() [2/2]

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

(

)

const

Definition at line 208 of file O3prm.cpp.

{ return _pos_; }

Member Data Documentation

_formula_

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

private

Definition at line 104 of file O3prm.h.

_pos_

O3Position gum::prm::o3prm::O3Formula::_pos_

private

Definition at line 103 of file O3prm.h.

---

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

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