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

Contents

The UniverseConstantIntensionConstraint is an intension constraint that represents a constant value.

Base classes

class IUniverseIntensionConstraint

Constructors, destructors, conversion operators

UniverseConstantIntensionConstraint(const Universe::BigInteger& value) explicit
~UniverseConstantIntensionConstraint() defaulted override

Public functions

auto getValue() const -> const Universe::BigInteger&
void accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Function documentation

Universe::UniverseConstantIntensionConstraint::UniverseConstantIntensionConstraint(const Universe::BigInteger& value) explicit

Parameters
value The value of the constant.

Creates a new UniverseConstantIntensionConstraint.

Universe::UniverseConstantIntensionConstraint::~UniverseConstantIntensionConstraint() override defaulted

Destroys this UniverseConstantIntensionConstraint.

const Universe::BigInteger& Universe::UniverseConstantIntensionConstraint::getValue() const

Returns The value of the constant.

Gives the value of the constant.

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

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.