Universe::IUniverseConstraint class

The IUniverseConstraint class represents a constraint in constraint problem.

Derived classes

class UniverseJavaConstraint

Constructors, destructors, conversion operators

~IUniverseConstraint() defaulted virtual

Public functions

auto scope() -> const std::vector<Universe::IUniverseVariable*>& pure virtual
void setIgnored(bool ignored) pure virtual
auto isIgnored() const -> const bool pure virtual
auto getScore() const -> const double pure virtual

Function documentation

Universe::IUniverseConstraint::~IUniverseConstraint() virtual defaulted

Destroys this IUniverseConstraint.

const std::vector<Universe::IUniverseVariable*>& Universe::IUniverseConstraint::scope() pure virtual

Returns The variables involved in this constraint.

Gives the scope of this constraint, i.e., the variables that appear in this constraint.

void Universe::IUniverseConstraint::setIgnored(bool ignored) pure virtual

Parameters
ignored Whether the constraint should be ignored.

Sets whether this constraint must be ignored by the solver.

const bool Universe::IUniverseConstraint::isIgnored() const pure virtual

Returns Whether the constraint should be ignored.

Checks whether this constraint must be ignored by the solver.

const double Universe::IUniverseConstraint::getScore() const pure virtual

Returns The score of the constraint.

Gives the score of this constraint, as computed by the solver.