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

Member Typedef Documentation

O3AssignmentList

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

Definition at line 835 of file O3prm.h.

O3IncrementList

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

Definition at line 836 of file O3prm.h.

O3InstanceList

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

Definition at line 834 of file O3prm.h.

Constructor & Destructor Documentation

O3System() [1/3]

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

(

)

Definition at line 1257 of file O3prm.cpp.

{ GUM_CONSTRUCTOR(O3System); }

O3System() [2/3]

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

(

const O3System &

src

)

Definition at line 1259 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 1265 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 1272 of file O3prm.cpp.

{ GUM_DESTRUCTOR(O3System); }

Member Function Documentation

assignments() [1/2]

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

(

)

Definition at line 1306 of file O3prm.cpp.

{ return assigments__; }

assignments() [2/2]

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

(

)

const

Definition at line 1302 of file O3prm.cpp.

                                                                  {
        return assigments__;
      }

increments() [1/2]

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

(

)

Definition at line 1312 of file O3prm.cpp.

{ return increments__; }

increments() [2/2]

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

(

)

const

Definition at line 1308 of file O3prm.cpp.

                                                                {
        return increments__;
      }

instances() [1/2]

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

(

)

Definition at line 1300 of file O3prm.cpp.

{ return instances__; }

instances() [2/2]

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

(

)

const

Definition at line 1296 of file O3prm.cpp.

                                                              {
        return instances__;
      }

name() [1/2]

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

(

)

Definition at line 1294 of file O3prm.cpp.

{ return name__; }

name() [2/2]

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

(

)

const

Definition at line 1292 of file O3prm.cpp.

{ return name__; }

operator=() [1/2]

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

(

const O3System &

src

)

Definition at line 1274 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 1283 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 861 of file O3prm.h.

increments__

O3IncrementList gum::prm::o3prm::O3System::increments__

private

Definition at line 862 of file O3prm.h.

instances__

O3InstanceList gum::prm::o3prm::O3System::instances__

private

Definition at line 860 of file O3prm.h.

name__

O3Label gum::prm::o3prm::O3System::name__

private

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