[ library(repair) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
poss_conflict_vars(+ConflictSet, -Vars)
Returns the set of variables within the conflict constraints in ConflictSet.
- ConflictSet
- handle to a conflict set (atom or variable)
- Vars
- Variables within conflict constraints
Description
The set of variables within the conflict constraints.
This is generally a mixture of tenable and untenable variables.