Package agg.util.csp

Interface Summary
InstantiationHook An interface for the realization of side effects which are to take place at instantiation/uninstantiation time of a CSP variable.
SearchStrategy An interface for algorithms calculating search plans (variable orderings given by a list of queries).
SolutionStrategy An interface for solution strategies for Constraint Satisfaction Problems.
 

Class Summary
BinaryConstraint An abstract class for binary constraints.
CSP An abstract class for Constraint Satisfaction Problems with only binary constraints.
Query An abstract class that represents a query for a variable domain.
QueryOrder  
Search_BreadthFirst A search strategy that traverses the constraint graph breadth first.
SimpleEdgeOrder  
SimpleNodeOrder  
SimpleVariableOrder  
Solution_Backjump A CSP solution strategy using the backjumping technique.
Solution_Backtrack A CSP solution strategy NOT using the backjumping technique.
Solution_InjBackjump A CSP solution strategy using the backjumping technique.
Variable A class for the variables of a CSP.