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

Contents

The UniverseSetIntensionConstraint is an intension constraint that represents a set of intension constraints.

Base classes

class IUniverseIntensionConstraint

Constructors, destructors, conversion operators

UniverseSetIntensionConstraint(std::vector<Universe::IUniverseIntensionConstraint*> set) explicit

Public functions

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

Function documentation

Universe::UniverseSetIntensionConstraint::UniverseSetIntensionConstraint(std::vector<Universe::IUniverseIntensionConstraint*> set) explicit

Parameters
set The set of intension constraints to represent.

Creates a new UniverseSetIntensionConstraint.

int Universe::UniverseSetIntensionConstraint::size() const

Returns The size of this set.

Gives the number of intension constraints in this set.

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

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.