GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
CONSTRAINT_GROUP
+
Point of view
All features
ANY
All features
class CONSTRAINT_GROUP
Summary
top
manages a group of constraints group of constraints shares the same variables
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
ANY
}
make
creation
Features
{
ANY
}
var_set
:
HASHED_SET
[
ITEM_VAR
]
the variables of the group
logic
:
LINKED_LIST
[
CONSTRAINT_LOGICAL
]
the logic constraints (equal, not equal, greater, lesser)
couple
:
LINKED_LIST
[
CONSTRAINT_COUPLE
]
the couple constraints (yes, no)
make
creation
add
(constraint:
CONSTRAINT
, set:
HASHED_SET
[
ITEM_VAR
])
record the constraint and the set of variables
union
(other: CONSTRAINT_GROUP)
add the data of other to current
build_nodes
(builder:
MASK_BUILDER
):
BACKTRACKING_NODE
deduce backtracking graph from the current constraints
{}
get_node
(builder:
MASK_BUILDER
, ivar:
INTEGER_32
):
BACKTRACKING_NODE
deduce backtracking graph from the current constraints ivar is the number of the var that will be evaluated
get_node_of_var
(builder:
MASK_BUILDER
, ivar:
INTEGER_32
):
BACKTRACKING_NODE_OR_LIST
generate the alternative values of the variable ivar
get_node_if_true
(builder:
MASK_BUILDER
):
BACKTRACKING_NODE
var_set
:
HASHED_SET
[
ITEM_VAR
]
writable attribute
{
ANY
}
top
the variables of the group
logic
:
LINKED_LIST
[
CONSTRAINT_LOGICAL
]
writable attribute
{
ANY
}
top
the logic constraints (equal, not equal, greater, lesser)
couple
:
LINKED_LIST
[
CONSTRAINT_COUPLE
]
writable attribute
{
ANY
}
top
the couple constraints (yes, no)
make
effective procedure
{
ANY
}
top
creation
add
(constraint:
CONSTRAINT
, set:
HASHED_SET
[
ITEM_VAR
])
effective procedure
{
ANY
}
top
record the constraint and the set of variables
union
(other: CONSTRAINT_GROUP)
effective procedure
{
ANY
}
top
add the data of other to current
build_nodes
(builder:
MASK_BUILDER
):
BACKTRACKING_NODE
effective function
{
ANY
}
top
deduce backtracking graph from the current constraints
get_node
(builder:
MASK_BUILDER
, ivar:
INTEGER_32
):
BACKTRACKING_NODE
effective function
{}
top
deduce backtracking graph from the current constraints ivar is the number of the var that will be evaluated
get_node_of_var
(builder:
MASK_BUILDER
, ivar:
INTEGER_32
):
BACKTRACKING_NODE_OR_LIST
effective function
{}
top
generate the alternative values of the variable ivar
get_node_if_true
(builder:
MASK_BUILDER
):
BACKTRACKING_NODE
effective function
{}
top