ParamExpression Type
An arithmetic expression containing symbolic parameters For MVP this could be limited to PInt and PParameter only. However, it would be useful to have a more general type definition so that functions that manipulate constraints, parameters, etc can be written in a more general way. The actual parameter value is customisable so that the same code can be used for int parameters (normal) and BigInt parameters (needed for constant values in N bit components). For MVP set 'PINT = int TODO: refactor this to use an enumeration DU for operators to reduce cases.
Union cases
| Union case | Description |
|
|
|
|
|
|
|
|
|
|
|
|
|
Instance members
| Instance member | Description |
Full Usage:
this.IsPAdd
Returns: bool
|
|
Full Usage:
this.IsPDivide
Returns: bool
|
|
Full Usage:
this.IsPInt
Returns: bool
|
|
Full Usage:
this.IsPMultiply
Returns: bool
|
|
Full Usage:
this.IsPParameter
Returns: bool
|
|
Full Usage:
this.IsPRemainder
Returns: bool
|
|
Full Usage:
this.IsPSubtract
Returns: bool
|
|