- c -

• converse_comparison() : lala
• create_and_interpret_and_tell() : lala

- d -

• de_morgan_law() : lala
• decompose_arith_neq_constraint() : lala
• decompose_in_constraint() : lala
• decompose_set_constraints() : lala
• dual_bound() : lala

- e -

• eval() : lala
• extract_ty() : lala

- f -

• fjoin() : lala
• fmeet() : lala

- g -

• geq_of_constant() : lala
• ginterpret_in() : lala
• ginterpret_true() : lala

- i -

• interpret_and_tell() : lala
• is_arithmetic_comparison() : lala
• is_associative() : lala
• is_commutative() : lala
• is_comparison() : lala
• is_constant_var() : lala
• is_division() : lala
• is_logical() : lala
• is_modulo() : lala
• is_predicate() : lala
• is_prefix() : lala
• is_set_comparison() : lala
• is_tnf() : lala
• is_v_op_constant() : lala
• is_v_op_z() : lala
• is_var_equality() : lala

- l -

• leq_of_constant() : lala

- m -

• make_top() : lala
• make_v_op_z() : lala
• map_avar_to_lvar() : lala

- n -

• negate() : lala
• negate_arithmetic_comparison() : lala
• negate_eq() : lala
• normalize() : lala
• num_constraints() : lala
• num_quantified_vars() : lala
• num_tnf_constraints() : lala
• num_vars() : lala

- o -

• operator<() : lala
• operator<<() : lala
• operator==() : lala
• operator>() : lala

- p -

• print() : battery
• project() : lala
• project_fun() : lala

- s -

• string_of_sig() : lala
• string_of_sig_txt() : lala

- t -

• ternarize() : lala
• top_level_ginterpret_in() : lala
• type_of_conjunction() : lala

- v -

• value_of_constant() : lala
• var_in() : lala