- e -

• eliminate_cols() : smtrat::fmplex
• eliminate_variables() : smtrat::fmplex
• eliminateQuantifiers() : smtrat::qe::cad
• encode_as_formula() : smtrat::subtropical
• encode_as_formula_alt() : smtrat::subtropical
• evaluate() : smtrat::lve
• execute_backend() : benchmax
• executeFile() : smtrat
• exists() : smtrat::covering_ng
• extractRationalCapsule() : smtrat
• extractVariables() : smtrat