AMulet 2.0
AIG Multiplier Verification Tool
Gate Member List

This is the complete list of members for Gate, including all inherited members.

aig_outputGateprivate
anc_begin() const Gateinline
anc_end() const Gateinline
ancestorsGateprivate
boGateprivate
carry_gateGateprivate
childrenGateprivate
children_back() const Gateinline
children_begin() const Gateinline
children_end() const Gateinline
children_front() const Gateinline
children_push_back(Gate *n)Gateinline
children_remove(Gate *n)Gateinline
children_size() const Gateinline
co_factorGateprivate
dec_carry_gate()Gateinline
dec_slice()Gateinline
elimGateprivate
fsaGateprivate
fsa_inpGateprivate
Gate(int n_, std::string name_, int level_, bool input_=0, bool output_=0)Gate
gate_constraintGateprivate
get_aig_output() const Gateinline
get_bo() const Gateinline
get_carry_gate() const Gateinline
get_cofactor() const Gateinline
get_elim() const Gateinline
get_fsa() const Gateinline
get_fsa_inp() const Gateinline
get_gate_constraint() const Gateinline
get_input() const Gateinline
get_level() const Gateinline
get_moved() const Gateinline
get_neg() const Gateinline
get_output() const Gateinline
get_pp() const Gateinline
get_prop_gen_gate() const Gateinline
get_slice() const Gateinline
get_var() const Gateinline
get_var_name() const Gateinline
get_var_num() const Gateinline
get_xor_chain() const Gateinline
get_xor_gate() const Gateinline
inc_carry_gate()Gateinline
inc_fsa_inp()Gateinline
inc_slice()Gateinline
inputGateprivate
is_child(const Gate *n) const Gate
is_in_parents(const Gate *n) const Gate
levelGateprivate
mark_aig_output()Gateinline
mark_bo()Gateinline
mark_elim()Gateinline
mark_fsa()Gateinline
mark_moved()Gateinline
mark_pp()Gateinline
mark_prop_gen_gate()Gateinline
mark_xor_chain()Gateinline
movedGateprivate
negGateprivate
orig() const Gate
outputGateprivate
parentsGateprivate
parents_begin() const Gateinline
parents_end() const Gateinline
parents_front() const Gateinline
parents_push_back(Gate *n)Gateinline
parents_remove(Gate *n)Gateinline
parents_size() const Gateinline
partial_productGateprivate
print_gate_constraint(FILE *file) const Gateinline
prop_gen_gateGateprivate
reset_fsa_inp()Gateinline
search_in_anc(Gate *n)Gateinline
set_ancestor(Gate *n, Polynomial *p)Gateinline
set_carry_gate(int val)Gateinline
set_children_back(Gate *n)Gateinline
set_children_front(Gate *n)Gateinline
set_cofactor(Polynomial *p)Gateinline
set_gate_constraint(Polynomial *p)Gateinline
set_level(int l)Gateinline
set_neg(bool val)Gateinline
set_slice(int val)Gateinline
set_xor_gate(int val)Gateinline
sliceGateprivate
unmark_prop_gen_gate()Gateinline
vGateprivate
xor_chainGateprivate
xor_gateGateprivate
~Gate()Gate