GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
CONSTRAINT_SET
+
Point of view
All features
ANY
All features
class CONSTRAINT_SET
Summary
top
the set of constraints
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
ANY
}
make
creation
Features
{
ANY
}
groups
:
LINKED_LIST
[
CONSTRAINT_GROUP
]
the constraints that contains variable items where constraints are grouped around coupled variables
unbound
:
CONSTRAINT_GROUP
the constraints that are not bound to any variable
make
creation
add
(constraint:
CONSTRAINT
)
add a constraint, taking care of where it must go: either in the unbound group or in one of the groups bound to variables
build_nodes
(builder:
MASK_BUILDER
):
BACKTRACKING_NODE_AND_LIST
Creates the backtracking tree corresponding to the constraints.
collector
:
ITEM_COLLECTOR
common collector of items
groups
:
LINKED_LIST
[
CONSTRAINT_GROUP
]
writable attribute
{
ANY
}
top
the constraints that contains variable items where constraints are grouped around coupled variables
unbound
:
CONSTRAINT_GROUP
writable attribute
{
ANY
}
top
the constraints that are not bound to any variable
make
effective procedure
{
ANY
}
top
creation
add
(constraint:
CONSTRAINT
)
effective procedure
{
ANY
}
top
add a constraint, taking care of where it must go: either in the unbound group or in one of the groups bound to variables
build_nodes
(builder:
MASK_BUILDER
):
BACKTRACKING_NODE_AND_LIST
effective function
{
ANY
}
top
Creates the backtracking tree corresponding to the constraints.
collector
:
ITEM_COLLECTOR
writable attribute
{
ANY
}
top
common collector of items