Changes between Version 5 and Version 6 of NamedVariable


Ignore:
Timestamp:
Feb 15, 2022, 5:48:41 PM (2 years ago)
Author:
Vojtěch Kovář
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • NamedVariable

    v5 v6  
    77
    88For a variable, only the first following valuation applies. This enables sharing same variable names across the rules.[[BR]]
    9 A variable valuation can consist of several constraints listed each on a new line which are taken in conjunction (logical and).[[BR]]
     9A variable valuation can consist of several constraints listed each on a new line which are taken in conjunction (logical and). If more lines are used this way for variable definition, they must immediately follow each other (otherwise they are taken as different definitions).[[BR]]
    1010Negative constraints can be created using the ''not'' keyword.
    1111