Value Modifier

Choose modified cells according to the stated group counts. Their values are their digits times the factor, plus the offset. The same choices apply to every rule that reads values.

Parameters

Parameter	Meaning	Default
name	The modifier name: doubler or negator.	Required.
factor	The multiplier for a modified digit.	Required.
offset	The amount added after multiplication.	Required.
exactly	The cells in each group and the exact number that must be modified.	Required.
count	The number of cells or occurrences to count.	Required.
atMostOne	The cells in each group that may contain at most one modified cell.	Required.
distinct	Whether modified cells must contain different digits.	Required.

Maths

Class: existential.

The shared predicates define the notation and every named predicate.

∃M:set<cell>: M⊆C ∧
(∀G∈exactly: |G∩M|=count) ∧ (∀G∈atMostOne: |G∩M|<=1)
∧ (distinct → distinct_D(M))
∧ (∀c∈C: (c∈M → V(c)=factor*D(c)+offset) ∧ (c∉M → V(c)=D(c)))
∧ (∀meaning∈ValuedRuleMeanings: meaning)

There is a shared set M of modified cells. Each exactly group intersects M in count cells; each atMostOne group intersects M in at most one. If distinct, digits in M are distinct. Every valued rule must accept V(c)=D(c)×factor+offset on M and D(c) elsewhere under this same M.

Example

---
format: open-rules
title: Value Modifier example
setter: Example
source: ""
case: ""
library: https://rules.sudoku-sleuth.com/
status: read
board:
  rows: 1
  cols: 2
  symbols:
    - 1
    - 2
    - 3
    - 4
    - 5
    - 6
    - 7
    - 8
    - 9
---

```rules
value-modifier name "doubler" factor 2 offset 0 exactly [["r1c1"],["r1c2"]] count 1 atMostOne [] distinct true
```

Satisfies the rule: r1c1=1, r1c2=2. Both required modified cells have different digits.

Breaks the rule: r1c1=1, r1c2=1. The required modified cells repeat digit 1.