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

Contents

The UniverseRangeIntensionConstraint is an intension constraint that represents a range of values.

Base classes

class IUniverseIntensionConstraint

Constructors, destructors, conversion operators

UniverseRangeIntensionConstraint(const Universe::BigInteger& min, const Universe::BigInteger& max) explicit

Public functions

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

Function documentation

Universe::UniverseRangeIntensionConstraint::UniverseRangeIntensionConstraint(const Universe::BigInteger& min, const Universe::BigInteger& max) explicit

Parameters
min The minimum value of the range.
max The maximum value of the range.

Creates a new UniverseRangeIntensionConstraint.

const Universe::BigInteger& Universe::UniverseRangeIntensionConstraint::getMin() const

Returns The minimum value of this range.

Gives the minimum value of this range.

const Universe::BigInteger& Universe::UniverseRangeIntensionConstraint::getMax() const

Returns The maximum value of this range.

Gives the maximum value of this range.

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

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.