Requirements

ID

The

class satisfies the following concept requirements: a template for a bidirectional iterator for the basic_json class This class implements a both iterators (iterator and const_iterator) for the basic_json class. Note An iterator is called initialized when a pointer to a JSON value has been set (e.g., by a constructor or a copy assignment). If the iterator is default-constructed, it is uninitialized and most methods are undefined. The library uses assertions to detect calls on uninitialized iterators.** BidirectionalIterator: The iterator that can be moved can be moved in both directions (i.e. incremented and decremented). Since version 1.0.0, simplified in version 2.0.9, change to bidirectional iterators in version 3.0.0 (see https://github.com/nlohmann/json/issues/593)

Unsatisfied Requirements

The requirement The does not have a 'satisfies' relation.

Unverified Requirements

The requirement The does not have a 'verifies' relation.