- e -
- ebits() : FPRef, FPSortRef
- else_value() : func_interp, FuncInterp
- empty() : ast_vector_tpl< T >
- enable_exceptions() : context
- enableTrace() : Global, Native
- end() : ast_vector_tpl< T >, solver::cube_generator
- entry() : func_interp, FuncInterp
- enumeration_sort() : context
- eq() : Context, AstRef
- equals() : AST, FuncDecl, Sort, Symbol
- erase() : AstMap
- eval() : Model, model, ModelRef
- evalSmtlib2String() : Native
- evaluate() : Model, ModelRef
- exception() : exception
- exponent() : FPNumRef
- exponent_as_bv() : FPNumRef
- exponent_as_long() : FPNumRef
- Expr() : Expr
- expr() : expr
- extract() : expr