Next:
Introduction
Up:
ECLiPSe Constraint Library Manual
Previous:
Search Predicates
Index
REPAIR: Constraint-Based Repair
Introduction
Using the Library
Tentative Values
Attaching and Retrieving Tentative Values
?Vars tent_set ++Values
?Vars tent_get ?Values
Tenability
tenable(?Var)
The Tentative Assignment
Variables with No Tentative Value
Unification
Copying
Repair Constraints
Constraint r_conflict ConflictSet
Constraint r_conflict_prop ConflictSet
Conflict Sets
conflict_vars(-Vars)
conflict_constraints(+ConflictSet, -Constraints)
poss_conflict_vars(+ConflictSet, -Vars)
Invariants
-Result tent_is +Expression
tent_call(In, Out, Goal)
Waking on Tentative Assignment Change
Examples
Interaction with Propagation
Repair Labeling
Warwick Harvey
2002-05-15
