A StateGen that produces a one width SInt Expression
A StateGen that produces a one width SInt Expression
A StateGen that produces a one width UInt Expression
A StateGen that produces a one width UInt Expression
The name of this generator, used for logging
The name of this generator, used for logging
Takes a width and returns a StateGen that produces a SInt Expression with the given width
Takes a width and returns a StateGen that produces a SInt Expression with the given width
The input width will be greater than 1 and less than or equal to the maximum width allowed by the input state
Takes a width and returns a StateGen that produces a UInt Expression with the given width
Takes a width and returns a StateGen that produces a UInt Expression with the given width
The input width will be greater than 1 and less than or equal to the maximum width allowed specified by the input state
Returns a copy of this ExprGen that throws better exceptions
Returns a copy of this ExprGen that throws better exceptions
Wraps this ExprGen's functions with a try-catch that will wrap exceptions and record the name of this generator in an ExprGen.TraceException.