pymloc.model.domains.rn_domain

Classes

Domain()

Baseclass for all domains.

RNDomain(dimension)

Domain \(\mathbb R^n\)

class pymloc.model.domains.rn_domain.Domain

Bases: abc.ABC

Baseclass for all domains.

in_domain(variable)
Parameters

variable (pymloc.model.variables.container.VariablesContainer) –

Return type

bool

class pymloc.model.domains.rn_domain.RNDomain(dimension)

Bases: pymloc.model.domains.rn_domain.Domain

Domain \(\mathbb R^n\)

Parameters

dimension (int) –