Commit c338c9b3 authored by Michal 'vorner' Vaner's avatar Michal 'vorner' Vaner Committed by Karel Koci

design: Drop note about single-direction enforcement

The penalty variables now require equivalences.
parent 25a7ca96
......@@ -32,11 +32,7 @@ We provide several kinds of variables:
* Auxiliary variables. As there may be complex dependencies, it is
easier to use something like Tseytin transformation ‒ have a
„result“ variable for each `Or`, `And` and `Not` operator. Note that
since a dependency on the expression is an implication (the
expression must be true when the package is installed, but we don't
care about its value when it is not), we are free to produce only
one direction of value enforcement (eg. propagating down).
„result“ variable for each `Or`, `And` and `Not` operator.
* Penalty variables. When we choose from multiple options, we want to
prefer some based on local criteria. These variables are added to
these choices and are forced to false whenever a non-optimal choice
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment