eclipseclp/Contrib/cardinal_comments.pl

54 	by the domain of a set variable (for instance, the cardinality of a set may have
59 	applied to set constraints by interval reasoning. A set domain variable S may be
63 	The cardinality of a set S, given as a finite domain variable C (#S=C), is not a
109 	form the domain of a set variable S, meaning that set S is one of those defined
117 	Any set variable must then have a domain consisting of a set interval. In addition,
122 	variable that can assume any set value from a collection of known sets, such as
125 	for n possible arbitrary sets S1...Sn, the corresponding set variable X has an
134 	Set variable bounds are represented by its glb and its lub\\glb, the set of
152 	args:  ["SetVariable": "A Set (variable or ground).",
153 		"Cardinality": "An integer or an FD variable."],
156 		(as an integer or FD variable), then SetVariable is constrained to have such cardinality.
157 		If Cardinality is a free variable, then it is unified with the set's cardinality as
158 		an FD variable or an integer (if it is already known)."),
180 		"Cardinality": "An integer or an FD variable."],
184 		SetExpression is first evaluated into a ground set or a set variable and then
205 	args:  ["SetVariable": "A set variable.",
221 	args:  ["SetVariable": "A set variable.",
246 	args:  ["SetVariable": "A set variable.",
273 	args:  ["SetVariable": "A set variable.",
297 	args:  ["SetVariable": "A set variable.",
298 		"Cardinality": "An FD variable",
310 		Use domain/3 instead of domain/2 whenever Cardinality variable is available,
336 	args:  ["SetVariable": "A set variable.",
352 	args:  ["SetVariable": "A set variable.",
384 	args:  ["SetVariable": "A Set (variable or ground) of integers.",
385 		"Max": "An integer or an FD variable."],
388 		If Max is given (as an integer or FD variable) then SetVariable is
390 		If Max is a free variable, then it is unified with the set's maximum as
391 		an FD variable or an integer (if it is already known).<P>
413 	args:  ["SetVariable": "A Set (variable or ground) of integers.",
414 		"Min": "An integer or an FD variable."],
417 		If Min is given (as an integer or FD variable) then SetVariable is
419 		If Min is a free variable, then it is unified with the set's minimum as
420 		an FD variable or an integer (if it is already known).<P>
442 	args:  ["SetVariable": "A Set (variable or ground) of sets.",
443 		"UnionVar": "A Set (variable or ground)."],
446 		(as a ground set or a set variable), then SetVariable is constrained to have such union.
447 		If UnionVar is a free variable, then it is unified with the set's union as
448 		a set variable or a ground set (if it is already known).<P>
465 	args:  ["SetVariable": "A Set (variable or ground) of sets.",
503 	args:  ["SetVariable": "A variable.",
505 	summary: "Set variable declaration",
506 	desc: html("Declare or constrain a set domain variable to have Domain as domain.<P>
511 		an integer, an FD variable, or an integer domain (list or range)."),
529 	args:  ["SetVariable": "A variable.",
533 	summary: "Set variable declaration with optional functions",
534 	desc: html("Declare or constrain a set domain variable to have Glb as assured
540   cardinality: FunctionValue can be an integer, an FD variable or an integer domain (list or range)
541   union: (SetVariable must be a set of sets.) FunctionValue can be a set, a set variable
545 	FunctionValue can be an integer, an FD variable or an integer domain
583   cardinality: FunctionValue can be an integer, an FD variable or an integer domain (list or range)
584   union: (SetVariable must be a set of sets.) FunctionValue can be a set, a set variable
588 	FunctionValue can be an integer, an FD variable or an integer domain
596 		If a FunctionValue is given as a variable or as a fixed (integer or set)
599 		(a different domain variable is created for each SetVariable)."),
619 		"SetVar": "A set variable."],
620 	summary: "Refine a set variable's domain",
651 		If heuristic UpDown is 'up' then, for each set variable, for each element
685 	args:  ["SetVars": "A variable or a list of set variables."],
686 	summary: "Label set variable(s)",
689 		For each set variable, for each element in its poss (lub\\glb), inclusion
691 		SetVars can be a set variable instead of a list. Labeling a single set
692 		variable S can thus be done both with set_labeling([S]) or with
765 	args:  ["SetVariable": "A set variable.",
766 		"Element": "A ground term or a variable."],
769 		If Element is a variable then if SetVariable is a ground singleton,
801 	args:  ["SetVariable": "A set variable.",
802 		"Element": "A ground term or a variable."],
818 	args:  ["SetVariable": "A set variable.",
819 		"Element": "A ground term or a variable."],
822 		If Element is a variable then the constraint
850 	args:  ["SetVariable": "A set variable.",
851 		"Element": "A ground term or a variable."],
868 	args:  ["SetVar1": "A set variable.",
869 		"SetVar2": "A set variable."],
906 	args:  ["SetVar1": "A set variable.",
907 		"SetVar2": "A set variable."],
952 	args:  ["SetVar1": "A set variable.",
953 		"SetVar2": "A variable."],
956 		If SetVar2 is not yet a set domain variable it is declared as such, using
986 	args:  ["SetVar1": "A set variable.",
987 		"SetVar2": "A variable."],
1002 		"Union": "A variable or a ground set."],
1005 		Any variable in SetVars that is not yet a set domain variable, is declared
1035 	args:  ["SetVar1": "A set variable.",
1036 		"SetVar2": "A set variable."],
1040 		to another set (variable or ground)."),
1070 	args:  ["SetVar": "A variable.",
1072 		"Complement": "A variable"],
1076 		If a variable (SetVar or Complement) is not yet a set domain variable,
1104 	args:  ["SetVar": "A variable.",
1105 		"Complement": "A variable"],
1152 		A set expression is a set (variable or ground) or a set operation between
1256 	summary: "Cardinal attributes of a set variable",
1263 		cardinality: "Cardinality function (an integer or an FD variable).",
1264 		minimum: "Minimum function (an integer or an FD variable),
1265 			for sets of integers. Free variable if unused.",
1266 		maximum: "Maximum function (an integer or an FD variable),
1267 			for sets of integers. Free variable if unused.",
1268 		union: html("Union function, for sets of sets. Free variable if unused;
1271 UnionVar: A set (variable or ground) corresponding to the union of the set's elements