GenerationRules (bristlecone)

GenerationRules Module

Function or value	Description
`alwaysFinite variable` Full Usage: `alwaysFinite variable` Parameters: variable : `string` Returns: `GenerationRule<'state>`	variable : `string` Returns: `GenerationRule<'state>`
`alwaysLessThan i variable` Full Usage: `alwaysLessThan i variable` Parameters: i : `float<'state>` variable : `string` Returns: `GenerationRule<'state>`	Ensures that all generated values are less than i i : `float<'state>` variable : `string` Returns: `GenerationRule<'state>`
`alwaysMoreThan i variable` Full Usage: `alwaysMoreThan i variable` Parameters: i : `float<'state>` variable : `string` Returns: `GenerationRule<'state>`	Ensures that all generated values are greater than i i : `float<'state>` variable : `string` Returns: `GenerationRule<'state>`
`monotonicallyIncreasing variable` Full Usage: `monotonicallyIncreasing variable` Parameters: variable : `string` Returns: `GenerationRule<'state>`	Ensures that there is always a positive change in values of a variable variable : `string` Returns: `GenerationRule<'state>`