- e -
- ebits()
: FPRef
, FPSortRef
- else_value()
: func_interp
, FuncInterp
- empty()
: ast_vector_tpl< T >
- enableTrace()
: Global
, Native
- entry()
: func_interp
, FuncInterp
- enumeration_sort()
: context
- eq()
: Context
- Eq()
: Context
- eq()
: AstRef
- equals()
: AST
, FuncDecl
, Sort
, Symbol
- Equals()
: AST
, FuncDecl
, Sort
, Symbol
- erase()
: AstMap
- eval()
: Model
, Native
- Eval()
: Model
- eval()
: model
, ModelRef
- evalDecl()
: Native
- evalFuncDecl()
: Native
- evaluate()
: Model
- Evaluate()
: Model
- evaluate()
: ModelRef
- exception()
: exception
- exponent()
: FPNumRef
- exponent_as_long()
: FPNumRef
- Expr()
: Expr
- expr()
: expr
- extract()
: expr