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

Contents

The UniverseOperatorIntensionConstraint is the parent class of all the implementations of intension constraints that apply an operator on some other intension constraint(s).

Base classes

class IUniverseIntensionConstraint

Derived classes

class UniverseBinaryIntensionConstraint
class UniverseNaryIntensionConstraint
class UniverseUnaryIntensionConstraint

Constructors, destructors, conversion operators

UniverseOperatorIntensionConstraint(Universe::UniverseOperator op) protected explicit
~UniverseOperatorIntensionConstraint() defaulted override

Public functions

auto getOperator() const -> Universe::UniverseOperator

Protected variables

Universe::UniverseOperator theOperator

Function documentation

Universe::UniverseOperatorIntensionConstraint::UniverseOperatorIntensionConstraint(Universe::UniverseOperator op) explicit protected

Parameters
op The operator applied by the constraint.

Creates a new UniverseOperatorIntensionConstraint.

Universe::UniverseOperatorIntensionConstraint::~UniverseOperatorIntensionConstraint() override defaulted

Destroys this UniverseOperatorIntensionConstraint.

Universe::UniverseOperator Universe::UniverseOperatorIntensionConstraint::getOperator() const

Returns The operator applied by this constraint.

Gives the operator applied by this constraint.

Variable documentation

Universe::UniverseOperator Universe::UniverseOperatorIntensionConstraint::theOperator protected

The operator applied by this constraint.