Package ifs.extension

IFS Extensions (conflict-based statistics, maintenance of arc consistency)

See:
Description

Class Summary

Assignment	This class describing an assignment of a value to a variable together with a counter (used by CBS).
Assignment.AssignmentComparator	Assignment comparator
AssignmentSet	This class describing a set of assignment (used by CBS).
ConflictStatistics	Conflict-based statistics.
Extension	Generic extension of IFS solver.
MacPropagation	MAC propagation.
ViolatedInitials	Computation of violated initial values (minimal perturbation problem).

Package ifs.extension Description

IFS Extensions (conflict-based statistics, maintenance of arc consistency)