
poss_conflict_vars(+ConflictSet, -Vars)

   Returns the set of variables within the conflict constraints in ConflictSet.

Arguments
   ConflictSet         handle to a conflict set (atom or variable)
   Vars                Variables within conflict constraints

Type
   library(repair)

Description
The set of variables within the conflict constraints.
This is generally a mixture of tenable and untenable variables.


