Recognises circular derivation rules

Mida see tähendab

Derivation rules whose inputs depend, through other derivations, on their own output. Each rule reads sensibly on its own.

Kuidas seda hinnatakse

Flags the deficient case and passes the acceptable one. Deficient: `available balance = ledger balance − holds`; `ledger balance = available balance + holds` Acceptable: One derivation with a stored base: `available balance = ledger balance − holds`, with the ledger balance and the holds both captured (`ANO-004`)

Tugineb

Explains derivation rules and their dependenciesK-354 · Teadmine

Vajalik

Puudub