gum::prm::o3prm::O3System Class Reference

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

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

Collaboration diagram for gum::prm::o3prm::O3System:

Public Member Functions
	O3System ()
	O3System (const O3System &src)
	O3System (O3System &&src)
	~O3System ()
O3System &	operator= (const O3System &src)
O3System &	operator= (O3System &&src)
O3Label &	name ()
const O3Label &	name () const
O3InstanceList &	instances ()
const O3InstanceList &	instances () const
O3AssignmentList &	assignments ()
const O3AssignmentList &	assignments () const
O3IncrementList &	increments ()
const O3IncrementList &	increments () const

Public Types
using	O3InstanceList = std::vector< O3Instance >
using	O3AssignmentList = std::vector< O3Assignment >
using	O3IncrementList = std::vector< O3Increment >

Detailed Description

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

Definition at line 826 of file O3prm.h.

Member Typedef Documentation

O3AssignmentList

using gum::prm::o3prm::O3System::O3AssignmentList = std::vector< O3Assignment >

Definition at line 829 of file O3prm.h.

O3IncrementList

using gum::prm::o3prm::O3System::O3IncrementList = std::vector< O3Increment >

Definition at line 830 of file O3prm.h.

O3InstanceList

using gum::prm::o3prm::O3System::O3InstanceList = std::vector< O3Instance >

Definition at line 828 of file O3prm.h.

Constructor & Destructor Documentation

O3System() [1/3]

gum::prm::o3prm::O3System::O3System

(

)

Definition at line 1283 of file O3prm.cpp.

                         {
        GUM_CONSTRUCTOR(O3System);
        ;
      }

O3System() [2/3]

gum::prm::o3prm::O3System::O3System

(

const O3System &

src

)

Definition at line 1288 of file O3prm.cpp.

                                            :
          _name_(src._name_), _instances_(src._instances_), _assigments_(src._assigments_),
          _increments_(src._increments_) {
        GUM_CONS_CPY(O3System);
      }

O3System() [3/3]

gum::prm::o3prm::O3System::O3System

(

O3System &&

src

)

Definition at line 1294 of file O3prm.cpp.

                                       :
          _name_(std::move(src._name_)), _instances_(std::move(src._instances_)),
          _assigments_(std::move(src._assigments_)), _increments_(std::move(src._increments_)) {
        GUM_CONS_MOV(O3System);
      }

~O3System()

gum::prm::o3prm::O3System::~O3System

(

)

Definition at line 1300 of file O3prm.cpp.

                          {
        GUM_DESTRUCTOR(O3System);
        ;
      }

Member Function Documentation

assignments() [1/2]

O3System::O3AssignmentList & gum::prm::o3prm::O3System::assignments

(

)

Definition at line 1333 of file O3prm.cpp.

{ return _assigments_; }

assignments() [2/2]

const O3System::O3AssignmentList & gum::prm::o3prm::O3System::assignments

(

)

const

Definition at line 1331 of file O3prm.cpp.

{ return _assigments_; }

increments() [1/2]

O3System::O3IncrementList & gum::prm::o3prm::O3System::increments

(

)

Definition at line 1337 of file O3prm.cpp.

{ return _increments_; }

increments() [2/2]

const O3System::O3IncrementList & gum::prm::o3prm::O3System::increments

(

)

const

Definition at line 1335 of file O3prm.cpp.

{ return _increments_; }

instances() [1/2]

O3System::O3InstanceList & gum::prm::o3prm::O3System::instances

(

)

Definition at line 1329 of file O3prm.cpp.

{ return _instances_; }

instances() [2/2]

const O3System::O3InstanceList & gum::prm::o3prm::O3System::instances

(

)

const

Definition at line 1327 of file O3prm.cpp.

{ return _instances_; }

name() [1/2]

O3Label & gum::prm::o3prm::O3System::name

(

)

Definition at line 1325 of file O3prm.cpp.

{ return _name_; }

name() [2/2]

const O3Label & gum::prm::o3prm::O3System::name

(

)

const

Definition at line 1323 of file O3prm.cpp.

{ return _name_; }

operator=() [1/2]

O3System & gum::prm::o3prm::O3System::operator=

(

const O3System &

src

)

Definition at line 1305 of file O3prm.cpp.

                                                       {
        if (this == &src) { return *this; }
        _name_       = src._name_;
        _instances_  = src._instances_;
        _assigments_ = src._assigments_;
        _increments_ = src._increments_;
        return *this;
      }

operator=() [2/2]

O3System & gum::prm::o3prm::O3System::operator=

(

O3System &&

src

)

Definition at line 1314 of file O3prm.cpp.

                                                  {
        if (this == &src) { return *this; }
        _name_       = std::move(src._name_);
        _instances_  = std::move(src._instances_);
        _assigments_ = std::move(src._assigments_);
        _increments_ = std::move(src._increments_);
        return *this;
      }

Member Data Documentation

_assigments_

O3AssignmentList gum::prm::o3prm::O3System::_assigments_

private

Definition at line 855 of file O3prm.h.

_increments_

O3IncrementList gum::prm::o3prm::O3System::_increments_

private

Definition at line 856 of file O3prm.h.

_instances_

O3InstanceList gum::prm::o3prm::O3System::_instances_

private

Definition at line 854 of file O3prm.h.

_name_

O3Label gum::prm::o3prm::O3System::_name_

private

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