crestdsl.model.datatypes module

crestdsl.model.datatypes.BOOL = <Types.BOOL: <class 'bool'>>

Datatype for boolean values.

crestdsl.model.datatypes.FLOAT = <Types.FLOAT: <class 'float'>>

Datatype for floating point values (computer floats). This will be translated to the SMT solvers 32bit Float theory.

crestdsl.model.datatypes.INT = <Types.INT: <class 'int'>>

Datatype for int values (computer floats). This will be translated to the SMT solvers 32 bit Int theory.

crestdsl.model.datatypes.INTEGER = <Types.INTEGER: 'integer'>

Datatype for integer values. (Actual integers, not computer int). This will be translated to the SMT solvers Integer theory.

crestdsl.model.datatypes.REAL = <Types.REAL: 'real'>

Datatype for real values. (Actual real, not computer floating points). This will be translated to the SMT solvers Real theory.

crestdsl.model.datatypes.STRING = <Types.STRING: <class 'str'>>

Datatype for character sequences.

class crestdsl.model.datatypes.Types

Bases: enum.Enum

An enum holding all datatypes. Sometimes it’s better to use Types.INT to clairfy that you’re using a type. It might also resolve ambiguities