hedgehog.state
A mapping of symbolic values to concrete values.
(Since version ) see corresponding Javadoc for more information.
A mapping of symbolic values to concrete values.