Make DV_QUANTIFIED.accuracy optional

Description

DV_QUANTIFIED: It does not seem appropriate to make accuracy mandatory
as it will usually be unknown. I would suggest that it becomes a separate
class as it has its own internal coherence which may alter and requires
invariants at the moment.

Status

Assignee

JeffJ

Reporter

(Sam Heard) inactive

Raised By

None

Priority

Trivial
Configure