[ library(repair) | Reference Manual | Alphabetic Index ]

conflict_constraints(+ConflictSet, -Constraints)

Retreive the set of conflicting constraints monitored in ConflictSet.
ConflictSet
name or handle of a conflict set
Constraints
List of conflicting constraints in ConflictSet (variable)

Description

When a repair constraint goes into conflict (i.e. when it does not satisfy the tentative assignment of its variables), it appears in a conflict set, once it satisfies the tentative assignment, it disappears. This primitive returns the list of all current conflict constraints in the given conflict set.

ConflictSet is the conflict set name (or handle) which has been used in the corresponding constraint annotation. For example conflict_constraints(cap_cstr, Conflicts) would retrieve all constraints that were annotated with cap_cstr and are currently in conflict.

Resatisfiable

no