syn.util.constraint.b package¶
Submodules¶
syn.util.constraint.b.base module¶
-
class
syn.util.constraint.b.base.
Domain
(vars, **kwargs)¶ Bases:
syn.base.b.base.Base
Positional Arguments:
vars: Mapping (any => SetNode)
Class Options:
- args: (‘vars’,)
- autodoc: True
- coerce_args: False
- id_equality: False
- init_validate: False
- make_hashable: False
- make_type_object: True
- optional_none: False
- register_subclasses: False
- repr_template:
- coerce_hooks: ()
- create_hooks: ()
- init_hooks: ()
- init_order: ()
- metaclass_lookup: (‘coerce_hooks’, ‘init_hooks’, ‘create_hooks’, ‘setstate_hooks’)
- setstate_hooks: ()
Groups:
- _all: vars
-
copy
(*args, **kwargs)¶
-
display
(**kwargs)¶
-
class
syn.util.constraint.b.base.
Constraint
(args, **kwargs)¶ Bases:
syn.base.b.base.Base
Positional Arguments:
args: Sequence
Class Options:
- args: (‘args’,)
- autodoc: True
- coerce_args: False
- id_equality: False
- init_validate: True
- make_hashable: True
- make_type_object: True
- optional_none: False
- register_subclasses: False
- repr_template:
- coerce_hooks: ()
- create_hooks: ()
- init_hooks: ()
- init_order: ()
- metaclass_lookup: (‘coerce_hooks’, ‘init_hooks’, ‘create_hooks’, ‘setstate_hooks’)
- setstate_hooks: ()
Groups:
- _all: args
-
check
(**kwargs)¶
-
display
(**kwargs)¶
-
preprocess
(domain, **kwargs)¶
-
class
syn.util.constraint.b.base.
Problem
(domain, constraints, **kwargs)¶ Bases:
syn.base.b.base.Base
Positional Arguments:
domain: Domain constraints: list (Constraint)
Class Options:
- args: (‘domain’, ‘constraints’)
- autodoc: True
- coerce_args: False
- id_equality: False
- init_validate: True
- make_hashable: False
- make_type_object: True
- optional_none: False
- register_subclasses: False
- repr_template:
- coerce_hooks: ()
- create_hooks: ()
- init_hooks: ()
- init_order: ()
- metaclass_lookup: (‘coerce_hooks’, ‘init_hooks’, ‘create_hooks’, ‘setstate_hooks’)
- setstate_hooks: ()
Groups:
- _all: constraints, domain
-
check
(theory)¶
-
display
(**kwargs)¶
-
validate
()¶
syn.util.constraint.b.constraints module¶
-
class
syn.util.constraint.b.constraints.
FunctionConstraint
(func, args, **kwargs)¶ Bases:
syn.util.constraint.b.base.Constraint
Positional Arguments:
func: <callable> args: Sequence
Class Options:
- args: (‘func’, ‘args’)
- autodoc: True
- coerce_args: False
- id_equality: False
- init_validate: True
- make_hashable: True
- make_type_object: True
- optional_none: False
- register_subclasses: False
- repr_template:
- coerce_hooks: ()
- create_hooks: ()
- init_hooks: ()
- init_order: ()
- metaclass_lookup: (‘coerce_hooks’, ‘init_hooks’, ‘create_hooks’, ‘setstate_hooks’)
- setstate_hooks: ()
Groups:
- _all: args, func
-
check
(**kwargs)¶
-
display
(**kwargs)¶
-
class
syn.util.constraint.b.constraints.
AllDifferentConstraint
(args, **kwargs)¶ Bases:
syn.util.constraint.b.base.Constraint
Positional Arguments:
args: Sequence
Class Options:
- args: (‘args’,)
- autodoc: True
- coerce_args: False
- id_equality: False
- init_validate: True
- make_hashable: True
- make_type_object: True
- optional_none: False
- register_subclasses: False
- repr_template:
- coerce_hooks: ()
- create_hooks: ()
- init_hooks: ()
- init_order: ()
- metaclass_lookup: (‘coerce_hooks’, ‘init_hooks’, ‘create_hooks’, ‘setstate_hooks’)
- setstate_hooks: ()
Groups:
- _all: args
-
check
(**kwargs)¶
-
display
(**kwargs)¶
-
class
syn.util.constraint.b.constraints.
EqualConstraint
(arg, value, **kwargs)¶ Bases:
syn.util.constraint.b.base.Constraint
Positional Arguments:
arg: basestring value: any
Keyword-Only Arguments:
args: Sequence
Class Options:
- args: (‘arg’, ‘value’)
- autodoc: True
- coerce_args: False
- id_equality: False
- init_validate: True
- make_hashable: True
- make_type_object: True
- optional_none: False
- register_subclasses: False
- repr_template:
- coerce_hooks: ()
- create_hooks: ()
- init_hooks: ()
- init_order: ()
- metaclass_lookup: (‘coerce_hooks’, ‘init_hooks’, ‘create_hooks’, ‘setstate_hooks’)
- setstate_hooks: ()
Groups:
- _all: arg, args, value
-
check
(**kwargs)¶
-
display
(**kwargs)¶
-
preprocess
(domain, **kwargs)¶
syn.util.constraint.b.solvers module¶
-
class
syn.util.constraint.b.solvers.
Solver
(problem, **kwargs)¶ Bases:
syn.base.b.base.Base
Positional Arguments:
problem: Problem
Class Options:
- args: (‘problem’,)
- autodoc: True
- coerce_args: False
- id_equality: False
- init_validate: True
- make_hashable: False
- make_type_object: True
- optional_none: False
- register_subclasses: False
- repr_template:
- coerce_hooks: ()
- create_hooks: ()
- init_hooks: ()
- init_order: ()
- metaclass_lookup: (‘coerce_hooks’, ‘init_hooks’, ‘create_hooks’, ‘setstate_hooks’)
- setstate_hooks: ()
Groups:
- _all: problem
-
solutions
(**kwargs)¶
-
class
syn.util.constraint.b.solvers.
SimpleSolver
(problem, **kwargs)¶ Bases:
syn.util.constraint.b.solvers.Solver
Enumerates through all possible solutions. Do not use for any substantially-sized domains!!!
Positional Arguments:
problem: Problem
Class Options:
- args: (‘problem’,)
- autodoc: True
- coerce_args: False
- id_equality: False
- init_validate: True
- make_hashable: False
- make_type_object: True
- optional_none: False
- register_subclasses: False
- repr_template:
- coerce_hooks: ()
- create_hooks: ()
- init_hooks: ()
- init_order: ()
- metaclass_lookup: (‘coerce_hooks’, ‘init_hooks’, ‘create_hooks’, ‘setstate_hooks’)
- setstate_hooks: ()
Groups:
- _all: problem
-
solutions
(**kwargs)¶
-
class
syn.util.constraint.b.solvers.
RecursiveBacktrackSolver
(problem, **kwargs)¶ Bases:
syn.util.constraint.b.solvers.Solver
Positional Arguments:
problem: Problem
Keyword-Only Arguments:
forward_checking (default = True): bool selection_method (default = mrv): [‘mrv’, ‘random’]
Class Options:
- args: (‘problem’,)
- autodoc: True
- coerce_args: False
- id_equality: False
- init_validate: True
- make_hashable: False
- make_type_object: True
- optional_none: False
- register_subclasses: False
- repr_template:
- coerce_hooks: ()
- create_hooks: ()
- init_hooks: ()
- init_order: ()
- metaclass_lookup: (‘coerce_hooks’, ‘init_hooks’, ‘create_hooks’, ‘setstate_hooks’)
- setstate_hooks: ()
Groups:
- _all: forward_checking, problem, selection_method
-
choose_var
(uvars, **kwargs)¶
-
forward_check
(*args, **kwds)¶
-
solutions
(**kwargs)¶