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 161 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 166 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 171 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 177 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 182 of file O3prm.cpp.

{ GUM_DESTRUCTOR(O3Formula); }

Member Function Documentation

formula() [1/2]

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

(

)

Definition at line 202 of file O3prm.cpp.

{ return *formula__; }

formula() [2/2]

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

(

)

const

Definition at line 201 of file O3prm.cpp.

{ return *formula__; }

operator=() [1/2]

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

(

const O3Formula &

src

)

Definition at line 184 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 191 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 199 of file O3prm.cpp.

{ return pos__; }

position() [2/2]

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

(

)

const

Definition at line 198 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