Here is a list of all namespace members with links to the namespace documentation for each member:

- a -

• ABS : lala
• abstract_ptr : lala
• ACOS : lala
• ACOSH : lala
• ADD : lala
• AND : lala
• ASIN : lala
• ASINH : lala
• ATAN : lala
• ATANH : lala
• AType : lala

- b -

• B : lala::local

- c -

• CARD : lala
• CDIV : lala
• CMOD : lala
• COMPLEMENT : lala
• converse_comparison() : lala
• CONVEX : lala
• COS : lala
• COSH : lala
• create_and_interpret_and_tell() : lala

- d -

• de_morgan_law() : lala
• decompose_arith_neq_constraint() : lala
• decompose_in_constraint() : lala
• DIFFERENCE : lala
• DIV : lala
• dual_bound() : lala

- e -

• EDIV : lala
• EMOD : lala
• EQ : lala
• EQUIV : lala
• eval() : lala
• EXP : lala
• extract_ty() : lala

- f -

• FDIV : lala
• FFlat : lala , lala::local
• fjoin() : lala
• FLB : lala , lala::local
• fmeet() : lala
• FMOD : lala
• FUB : lala , lala::local

- g -

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

- h -

• HULL : lala

- i -

• IKind : lala
• IMPLY : lala
• IN : lala
• interpret_and_tell() : lala
• INTERSECTION : lala
• is_arithmetic_comparison() : lala
• is_associative() : lala
• is_comparison() : lala
• is_division() : lala
• is_logical() : lala
• is_modulo() : lala
• is_predicate() : lala
• is_prefix() : lala
• is_set_comparison() : lala
• is_v_op_constant() : lala
• is_v_op_z() : lala
• is_var_equality() : lala
• ITE : lala

- l -

• LEQ : lala
• leq_of_constant() : lala
• LN : lala
• LOG : lala
• logic_bool : lala
• logic_int : lala
• logic_real : lala
• logic_set : lala
• LT : lala
• LVar : lala

- m -

• make_top() : lala
• make_v_op_z() : lala
• map_avar_to_lvar() : lala
• MAX : lala
• MAXIMIZE : lala
• MIN : lala
• MINIMIZE : lala
• MOD : lala
• MUL : lala

- n -

• NEG : lala
• negate() : lala
• negate_arithmetic_comparison() : lala
• negate_eq() : lala
• NEQ : lala
• normalize() : lala
• NOT : lala
• NROOT : lala
• num_constraints() : lala
• num_quantified_vars() : lala
• num_vars() : lala

- o -

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

- p -

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

- s -

• Sig : lala
• SIN : lala
• SINH : lala
• SQRT : lala
• string_of_sig() : lala
• SUB : lala
• SUBSET : lala
• SUBSETEQ : lala
• SUPSET : lala
• SUPSETEQ : lala
• SYMMETRIC_DIFFERENCE : lala

- t -

• TAN : lala
• TANH : lala
• TDIV : lala
• ternarize() : lala
• TMOD : lala
• top_level_ginterpret_in() : lala
• type_of_conjunction() : lala

- u -

• UNION : lala

- v -

• var_in() : lala

- x -

• XOR : lala

- z -

• ZFlat : lala::local , lala
• ZLB : lala::local , lala
• ZUB : lala::local , lala