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

Contents

The UniverseNaryIntensionConstraint is an intension constraint that applies an operator on several intension constraints.

Base classes

class UniverseOperatorIntensionConstraint

Constructors, destructors, conversion operators

UniverseNaryIntensionConstraint(Universe::UniverseOperator op, std::vector<Universe::IUniverseIntensionConstraint*> children) explicit
~UniverseNaryIntensionConstraint() defaulted override

Public functions

auto getArity() const -> int
void accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Function documentation

Universe::UniverseNaryIntensionConstraint::UniverseNaryIntensionConstraint(Universe::UniverseOperator op, std::vector<Universe::IUniverseIntensionConstraint*> children) explicit

Parameters
op The operator applied by the constraint.
children The intension constraints on which the operator is applied.

Creates a new UniverseNaryIntensionConstraint.

Universe::UniverseNaryIntensionConstraint::~UniverseNaryIntensionConstraint() override defaulted

Destroys this UniverseNaryIntensionConstraint.

int Universe::UniverseNaryIntensionConstraint::getArity() const

Returns The number of intension constraints on which the operator is applied.

Gives the arity of this constraint.

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

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.