| Class | Description |
|---|---|
| VoidGenerator |
Produces values for theory parameters of type
void or Void. |
| Annotation Type | Description |
|---|---|
| InRange |
Mark a parameter of a
Theory method already marked with
ForAll with this annotation to constrain the values generated for the parameter
to a given range. |
| Precision |
Mark a parameter of a
Theory method already marked with
ForAll with this annotation to constrain the values generated for the parameter
to a given precision. |
Copyright © 2015. All Rights Reserved.