AMulet 2.0
AIG Multiplier Verification Tool
Gate Member List
This is the complete list of members for
Gate
, including all inherited members.
aig_output
Gate
private
anc_begin
() const
Gate
inline
anc_end
() const
Gate
inline
ancestors
Gate
private
bo
Gate
private
carry_gate
Gate
private
children
Gate
private
children_back
() const
Gate
inline
children_begin
() const
Gate
inline
children_end
() const
Gate
inline
children_front
() const
Gate
inline
children_push_back
(Gate *n)
Gate
inline
children_remove
(Gate *n)
Gate
inline
children_size
() const
Gate
inline
co_factor
Gate
private
dec_carry_gate
()
Gate
inline
dec_slice
()
Gate
inline
elim
Gate
private
fsa
Gate
private
fsa_inp
Gate
private
Gate
(int n_, std::string name_, int level_, bool input_=0, bool output_=0)
Gate
gate_constraint
Gate
private
get_aig_output
() const
Gate
inline
get_bo
() const
Gate
inline
get_carry_gate
() const
Gate
inline
get_cofactor
() const
Gate
inline
get_elim
() const
Gate
inline
get_fsa
() const
Gate
inline
get_fsa_inp
() const
Gate
inline
get_gate_constraint
() const
Gate
inline
get_input
() const
Gate
inline
get_level
() const
Gate
inline
get_moved
() const
Gate
inline
get_neg
() const
Gate
inline
get_output
() const
Gate
inline
get_pp
() const
Gate
inline
get_prop_gen_gate
() const
Gate
inline
get_slice
() const
Gate
inline
get_var
() const
Gate
inline
get_var_name
() const
Gate
inline
get_var_num
() const
Gate
inline
get_xor_chain
() const
Gate
inline
get_xor_gate
() const
Gate
inline
inc_carry_gate
()
Gate
inline
inc_fsa_inp
()
Gate
inline
inc_slice
()
Gate
inline
input
Gate
private
is_child
(const Gate *n) const
Gate
is_in_parents
(const Gate *n) const
Gate
level
Gate
private
mark_aig_output
()
Gate
inline
mark_bo
()
Gate
inline
mark_elim
()
Gate
inline
mark_fsa
()
Gate
inline
mark_moved
()
Gate
inline
mark_pp
()
Gate
inline
mark_prop_gen_gate
()
Gate
inline
mark_xor_chain
()
Gate
inline
moved
Gate
private
neg
Gate
private
orig
() const
Gate
output
Gate
private
parents
Gate
private
parents_begin
() const
Gate
inline
parents_end
() const
Gate
inline
parents_front
() const
Gate
inline
parents_push_back
(Gate *n)
Gate
inline
parents_remove
(Gate *n)
Gate
inline
parents_size
() const
Gate
inline
partial_product
Gate
private
print_gate_constraint
(FILE *file) const
Gate
inline
prop_gen_gate
Gate
private
reset_fsa_inp
()
Gate
inline
search_in_anc
(Gate *n)
Gate
inline
set_ancestor
(Gate *n, Polynomial *p)
Gate
inline
set_carry_gate
(int val)
Gate
inline
set_children_back
(Gate *n)
Gate
inline
set_children_front
(Gate *n)
Gate
inline
set_cofactor
(Polynomial *p)
Gate
inline
set_gate_constraint
(Polynomial *p)
Gate
inline
set_level
(int l)
Gate
inline
set_neg
(bool val)
Gate
inline
set_slice
(int val)
Gate
inline
set_xor_gate
(int val)
Gate
inline
slice
Gate
private
unmark_prop_gen_gate
()
Gate
inline
v
Gate
private
xor_chain
Gate
private
xor_gate
Gate
private
~Gate
()
Gate
Generated by
1.8.11