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)

Module contents