Това са думите examples, свързани с propagator. Щракнете върху която и да е дума, за да отидете на страницата с подробности за думата. Или, отидете на дефиницията на propagator.
Of course, the definitions of specifications and entailment can be used when the propagator is fractioning.
Indexicals can be used to compile arithmetic constraints, but are too weak to be used to program many other kinds of propagators.
The propagator is activated whenever any variable is instantiated or its bound is updated.
Such political connections are important, because the propagators of phrenology and physiology did not aim to write a discrete science.
The following theorem proves that, up to equivalence, it can be decomposed as a filling propagator followed by a fractioning one.
Each event on a domain variable activates its corresponding list of propagators.
Each propagator reads its arguments and attempts to add information to the constraint store by restricting the domains of its arguments.
As examples, we present a weak arc-consistency propagator for the all distinct constraint and a hybrid algorithm for n-ary linear equality constraints.
The propagators for each variable are independent; thus, the generalization obtained when using the solver is the one obtained with veto vote.
While many useful constraints have polynomial-time arc-consistency propagators, some exist for which this task is intractable.
A propagator for a constraint that performs forward checking is activated whenever the constraint becomes unary.
The filters and constraint propagators serve to prune off branches of the tree that cannot lead to solutions.
It can be used to program not only constraint propagators but also constraint reasoning rules.
The actions of constraint propagators are to reduce the domains of variables.
The basic idea of constraint propagation is to activate the propagators of constraints whenever the domains of the variables in the constraints are updated.
