#include "nusmv/core/compile/symb_table/SymbType.h"#include "nusmv/core/node/node.h"Go to the source code of this file.
Functions | |
| SymbType_ptr | SymbTablePkg_array_type (SymbType_ptr subtype, int lower_bound, int upper_bound) |
| returns an array type. | |
| SymbType_ptr | SymbTablePkg_boolean_set_type (const NuSMVEnv_ptr env) |
| returns a boolean-set type. | |
| SymbType_ptr | SymbTablePkg_boolean_type (const NuSMVEnv_ptr env) |
| returns a boolean enum type | |
| SymbType_ptr | SymbTablePkg_continuous_type (const NuSMVEnv_ptr env) |
| returns a Real type. | |
| SymbType_ptr | SymbTablePkg_error_type (const NuSMVEnv_ptr env) |
| returns an Error-type. | |
| SymbType_ptr | SymbTablePkg_int_symbolic_enum_type (const NuSMVEnv_ptr env) |
| returns a enum type containing integers AND symbolic constants | |
| SymbType_ptr | SymbTablePkg_intarray_type (const NuSMVEnv_ptr env, SymbType_ptr subtype) |
| returns an unsigned Word type (with a given width) | |
| SymbType_ptr | SymbTablePkg_integer_set_type (const NuSMVEnv_ptr env) |
| returns a integer-set type. | |
| SymbType_ptr | SymbTablePkg_integer_symbolic_set_type (const NuSMVEnv_ptr env) |
| returns a integer-symbolic-set type. | |
| SymbType_ptr | SymbTablePkg_integer_type (const NuSMVEnv_ptr env) |
| returns an Integer type. | |
| SymbType_ptr | SymbTablePkg_no_type (const NuSMVEnv_ptr env) |
| Public interface of compile.symb_table package. | |
| SymbType_ptr | SymbTablePkg_pure_int_enum_type (const NuSMVEnv_ptr env) |
| returns a pure integer enum type | |
| SymbType_ptr | SymbTablePkg_pure_symbolic_enum_type (const NuSMVEnv_ptr env) |
| returns a pure symbolic enum type. | |
| SymbType_ptr | SymbTablePkg_real_type (const NuSMVEnv_ptr env) |
| returns a Real type. | |
| SymbType_ptr | SymbTablePkg_signed_word_type (const NuSMVEnv_ptr env, int width) |
| returns a signed Word type (with a given width) | |
| SymbType_ptr | SymbTablePkg_statement_type (const NuSMVEnv_ptr env) |
| returns a no-type | |
| SymbType_ptr | SymbTablePkg_symbolic_set_type (const NuSMVEnv_ptr env) |
| returns a symbolic-set type. | |
| SymbType_ptr | SymbTablePkg_unsigned_word_type (const NuSMVEnv_ptr env, int width) |
| returns an unsigned Word type (with a given width) | |
| SymbType_ptr | SymbTablePkg_wordarray_type (const NuSMVEnv_ptr env, int awidth, SymbType_ptr subtype) |
| Returns a WordArray type (given array width and subtype). | |
| SymbType_ptr SymbTablePkg_array_type | ( | SymbType_ptr | subtype, | |
| int | lower_bound, | |||
| int | upper_bound | |||
| ) |
returns an array type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type. PRECONDITION: subtype has to be created with one of SymbTypePkg_.._type function.
| SymbType_ptr SymbTablePkg_boolean_set_type | ( | const NuSMVEnv_ptr | env | ) |
returns a boolean-set type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_boolean_type | ( | const NuSMVEnv_ptr | env | ) |
returns a boolean enum type
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_continuous_type | ( | const NuSMVEnv_ptr | env | ) |
returns a Real type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_error_type | ( | const NuSMVEnv_ptr | env | ) |
returns an Error-type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_int_symbolic_enum_type | ( | const NuSMVEnv_ptr | env | ) |
returns a enum type containing integers AND symbolic constants
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type. Do not access the values contained in the type's body.
| SymbType_ptr SymbTablePkg_intarray_type | ( | const NuSMVEnv_ptr | env, | |
| SymbType_ptr | subtype | |||
| ) |
returns an unsigned Word type (with a given width)
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_integer_set_type | ( | const NuSMVEnv_ptr | env | ) |
returns a integer-set type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_integer_symbolic_set_type | ( | const NuSMVEnv_ptr | env | ) |
returns a integer-symbolic-set type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_integer_type | ( | const NuSMVEnv_ptr | env | ) |
returns an Integer type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_no_type | ( | const NuSMVEnv_ptr | env | ) |
Public interface of compile.symb_table package.
returns a no-type This type is a type of correct expressions which normally do not have any time. The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_pure_int_enum_type | ( | const NuSMVEnv_ptr | env | ) |
returns a pure integer enum type
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type. Do not access the values contained in the type's body. WARNING [MD] Actually this function is never used. Each pure int enum type is converted to integer type. See comment in SymbType_make_memory_shared().
| SymbType_ptr SymbTablePkg_pure_symbolic_enum_type | ( | const NuSMVEnv_ptr | env | ) |
returns a pure symbolic enum type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type. Do not access the values contained in the type's body.
| SymbType_ptr SymbTablePkg_real_type | ( | const NuSMVEnv_ptr | env | ) |
returns a Real type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_signed_word_type | ( | const NuSMVEnv_ptr | env, | |
| int | width | |||
| ) |
returns a signed Word type (with a given width)
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_statement_type | ( | const NuSMVEnv_ptr | env | ) |
returns a no-type
This type is a type of correct expressions which are statements, like assignments, or high-level nodes like TRANS, INIT, etc. The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_symbolic_set_type | ( | const NuSMVEnv_ptr | env | ) |
returns a symbolic-set type.
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_unsigned_word_type | ( | const NuSMVEnv_ptr | env, | |
| int | width | |||
| ) |
returns an unsigned Word type (with a given width)
The memory is shared, so you can compare pointers to compare types. De-initialisation of the package destroys this type.
| SymbType_ptr SymbTablePkg_wordarray_type | ( | const NuSMVEnv_ptr | env, | |
| int | awidth, | |||
| SymbType_ptr | subtype | |||
| ) |
Returns a WordArray type (given array width and subtype).
The memory is shared, so you can compare pointers to compare types. The association is done based on the cons of awidth and subtype. De-initialisation of the package destroys this type.
1.6.1