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.

Assignee

JeffJ

Reporter

(Sam Heard) inactive

Raised By

None

Priority

Trivial
Configure