+
Point of view
All features
class CONSTRAINT_GROUP
Summary
manages a group of constraints group of constraints shares the same variables
Direct parents
Insert list: ANY
Overview
Creation features
{ANY}
Features
{ANY}
{}
var_set: HASHED_SET[ITEM_VAR]
writable attribute
{ANY}
the variables of the group
writable attribute
{ANY}
the logic constraints (equal, not equal, greater, lesser)
writable attribute
{ANY}
the couple constraints (yes, no)
make
effective procedure
{ANY}
creation
add (constraint: CONSTRAINT, set: HASHED_SET[ITEM_VAR])
effective procedure
{ANY}
record the constraint and the set of variables
union (other: CONSTRAINT_GROUP)
effective procedure
{ANY}
add the data of other to current
build_nodes (builder: MASK_BUILDER): BACKTRACKING_NODE
effective function
{ANY}
deduce backtracking graph from the current constraints
get_node (builder: MASK_BUILDER, ivar: INTEGER_32): BACKTRACKING_NODE
effective function
{}
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
{}
generate the alternative values of the variable ivar
get_node_if_true (builder: MASK_BUILDER): BACKTRACKING_NODE
effective function
{}