ConfigurableOptions

An object that provides read and write access to the configurable options of the SyReC parser and the various supported synthesis algorithms.

The following enum defines the integer constant truncation operations supported by the SyReC parser and the various supported synthesis algorithms.