- e -

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