Universe::UniverseVariableIntensionConstraint class
#include <UniverseVariableIntensionConstraint.hpp>

Contents

The UniverseVariableIntensionConstraint is an intension constraint that represents a variable.

Base classes

class IUniverseIntensionConstraint

Constructors, destructors, conversion operators

UniverseVariableIntensionConstraint(std::string identifier) explicit
~UniverseVariableIntensionConstraint() defaulted override

Public functions

auto getIdentifier() const -> const std::string&
void accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Function documentation

Universe::UniverseVariableIntensionConstraint::UniverseVariableIntensionConstraint(std::string identifier) explicit

Parameters
identifier The identifier of the variable.

Creates a new UniverseVariableIntensionConstraint.

Universe::UniverseVariableIntensionConstraint::~UniverseVariableIntensionConstraint() override defaulted

Destroys this UniverseVariableIntensionConstraint.

const std::string& Universe::UniverseVariableIntensionConstraint::getIdentifier() const

Returns The identifier of the variable.

Gives the identifier of the variable of this constraint.

void Universe::UniverseVariableIntensionConstraint::accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.