-
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_from_word_number()
- Creates a new AddArray from given WordNumber
-
AddArray_get_add_size()
- Returns the sum of the sizes of the ADDs within self
-
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_make_conjunction()
- Returns an ADD that is the conjunction of all bits of arg
-
AddArray_make_disjunction()
- Returns an ADD that is the disjunction of all bits of arg
-
AddArray_set_n()
- Sets the element number "number" to "add".
-
AddArray_word_apply_binary()
- Applies binary operator to each bits pair of given
arguments, and returns resulting add array
-
AddArray_word_apply_unary()
- Applies unary operator to each bit of given argument, and
returns resulting add array
-
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_concatenation()
- Performs concatenation 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_ite()
- Creates a ITE word array. then and else array must have
the same width, or else is allowed to have size 1 when encoding a
failure node. Returned array width is as large as _then. _if can have
any size
-
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_sign_extend()
- Extends the sign of arg
-
AddArray_word_signed_greater_equal()
- Performs _signed_ greater-equal-then operation
on two Word expressions represented as arrays of ADD.
Every ADD corresponds to a bit of a Word expression
-
AddArray_word_signed_greater()
- Performs _signed_ greater-then operation
on two Word expressions represented as arrays of ADD.
Every ADD corresponds to a bit of a Word expression
-
AddArray_word_signed_less_equal()
- Performs _signed_ less-equal-then operation
on two Word expressions represented as arrays of ADD.
Every ADD corresponds to a bit of a Word expression
-
AddArray_word_signed_less()
- Performs _signed_ less-then operation
on two Word expressions represented as arrays 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
-
AddArray_word_uminus()
- Changes the sign of the given word.
-
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.
-
add_array_word_signed_operator()
- Private service
-
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 2009/03/04 13h:34