Same version family#
This page is generated from the code and must not be edited by hand.
Folders whose names differ only by a version mark are grouped as versions of one thing.
same_version_family version 1+r4
Kind of rule: Which files go together (
groups). Says which things count as the same in some respect, and so forms groups.What it concludes:
equivalent, in respect ofversion_familyReasoning:
defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.What it reads: folders, which it sorts into groups
Is it available in this version?#
Yes, the engine runs it. It publishes no conclusion yet: it names nothing that would defeat its conclusions, and a rule of this kind may not publish a conclusion that nothing could retract.
What would defeat it#
It names no rule whose conclusion would defeat it.
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
list of text |
Which components form the family. The version marker is what the two differ in, so it is what the family must exclude. |
|
|
whole number, from 1 to 20 |
How many components must agree. |