constraint.Solver

Module constraint :: Class Solver

[show private | hide private]

Type Solver

object --+
         |
        Solver

Known Subclasses:: BacktrackingSolver, MinConflictsSolver, RecursiveBacktrackingSolver

Abstract base class for solvers

Method Summary
	`getSolution(self, domains, constraints, vconstraints)` Return one solution for the given problem
	`getSolutions(self, domains, constraints, vconstraints)` Return all solutions for the given problem
	`getSolutionIter(self, domains, constraints, vconstraints)` Return an iterator for the solutions of the given problem
Inherited from object
	`__init__(...)` x.__init__(...) initializes x; see x.__class__.__doc__ for signature
	`__delattr__(...)` x.__delattr__('name') <==> del x.name
	`__getattribute__(...)` x.__getattribute__('name') <==> x.name
	`__hash__(x)` x.__hash__() <==> hash(x)
	`__new__(T, S, ...)` T.__new__(S, ...) -> a new object with type S, a subtype of T
	`__reduce__(...)` helper for pickle
	`__reduce_ex__(...)` helper for pickle
	`__repr__(x)` x.__repr__() <==> repr(x)
	`__setattr__(...)` x.__setattr__('name', value) <==> x.name = value
	`__str__(x)` x.__str__() <==> str(x)

Method Details

Return one solution for the given problem

Parameters:: domains - Dictionary mapping variables to their domains
(type=dict); constraints - List of pairs of (constraint, variables)
(type=list); vconstraints - Dictionary mapping variables to a list of constraints affecting the given variables.
(type=dict)

Return all solutions for the given problem

Parameters:: domains - Dictionary mapping variables to domains
(type=dict); constraints - List of pairs of (constraint, variables)
(type=list); vconstraints - Dictionary mapping variables to a list of constraints affecting the given variables.
(type=dict)

Return an iterator for the solutions of the given problem

Parameters:: domains - Dictionary mapping variables to domains
(type=dict); constraints - List of pairs of (constraint, variables)
(type=list); vconstraints - Dictionary mapping variables to a list of constraints affecting the given variables.
(type=dict)

Generated by Epydoc 2.1 on Thu Jul 7 02:05:09 2005