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