AddArray_create()
constructor. Create an array of "number" ADDs
AddArray_destroy()
destructor of the class
AddArray_duplicate()
create a new AddArray, a copy of a given one
AddArray_from_add()
given an ADD create an AddArray consisting of one element
AddArray_get_add()
This function returns the first element of the array
AddArray_get_n()
Returns the element number "n" from the array.
AddArray_get_size()
returns the size (number of elements) of the array
AddArray_set_n()
Sets the element number "number" to "add".
AddArray_word_bit_selection()
Performs bit-selection operation on a Word expression represented as arrays of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_concatination()
Performs concatination operation on two Word expressions represented as arrays of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_divide()
Perform the division operations on two Word expressions represented as an array of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_equal()
Performs equal-operation on two Word expressions represented as arrays of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_greater_equal()
Performs greater-or-equal operation on two Word expressions represented as arrays of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_greater()
Performs greater-then operation on two Word expressions represented as arrays of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_left_rotate()
Performs left rotate operations on a Word expression represented as an array of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_left_shift()
Performs left shift operations on a Word expression represented as an array of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_less_equal()
Performs less-or-equal operation on two Word expressions represented as arrays of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_less()
Performs less-then operation on two Word expressions represented as arrays of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_minus()
Perform the subtraction operations on two Word expressions represented as an array of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_mod()
Perform the remainder operations on two Word expressions represented as an array of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_not_equal()
Performs not-equal-operation on two Word expressions represented as arrays of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_plus()
Perform the addition operations on two Word expressions represented as an array of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_right_rotate()
Performs right rotate operations on a Word expression represented as an array of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_right_shift()
Performs right shift operations on a Word expression represented as an array of ADD. Every ADD corresponds to a bit of a Word expression
AddArray_word_times()
Perform the multiplication operations on two Word expressions represented as an array of ADD. Every ADD corresponds to a bit of a Word expression
OrdGroups_add_variables()
Adds a list of variable to the groups set.
OrdGroups_add_variable()
Adds a new variable to the groups set.
OrdGroups_create_group()
Creates a new group, and returns the group ID for future reference
OrdGroups_create()
Class constructor
OrdGroups_destroy()
Class destructor
OrdGroups_get_size()
Returns the number of available groups
OrdGroups_get_var_group()
Given a var name, it returns the group that variable belongs to.
OrdGroups_get_vars_in_group()
Returns the set of variables that belong to a given group
add_array_adder()
Performes the addition of two Word expressions and a carry-in bit.
add_array_apply_on_bits()
A function takes an array and applies ADD's "add_monadic_apply" with the operation "op" on every bit of the array.
add_array_create_default_value_of_shift_operation()
Create an ADD of the default case in shift operations, i.e. ADD of ITE(nubmer >=0 && number <= width, zero, FAILURE).
add_array_division_remainder()
Performs division operations on two Word expressions (which are encoded as arrays of bits)
add_array_full_adder()
Performes the full-adder operation on the arguments arg1, arg2 and carry_in. The returned sum-bit and carry-bit are returned in sum and carry_out.
enc_utils_parse_ordering_file()
Parses the given ordering file, and produces an OrdGroups instance.
ord_groups_allocate_new_group()
Creates a new group, and returns its ID
ord_groups_associate_name_to_group()
Associates a var name to an existing group, but only if not already associated. An error occurs if the given name is already associated to a different group
ord_groups_deinit()
Private deinitializer
ord_groups_init()
Private class initializer
ord_groups_name_to_group()
Given a variable name, it returns the group that variable belongs to, or -1 if the variable has not been added.
()
converts a type from (actually used) array_t* to our artificial AddArray_ptr
()
converts a type from our artificial AddArray_ptr to (actually used) array_t*

Last updated on 2006/07/31 19h:13