Index

_

_attr_name (eml.tree.describe.DTNode attribute) _attr_range (eml.tree.describe.DTNode attribute) _attr_type (eml.tree.describe.DTNode attribute) _children (eml.tree.describe.DTNode attribute) _class (eml.tree.describe.DTNode attribute)

_exps (eml.util.ModelDesc attribute) _mdl (eml.util.ModelDesc attribute) _ml (eml.util.ModelDesc attribute) _ml_tol (eml.backend.cplex_backend.CplexBackend attribute) _name (eml.util.ModelDesc attribute) _parent (eml.tree.describe.DTNode attribute)

A

act_eval() (in module eml.net.describe) activation() (eml.net.describe.DNRActNeuron method) (eml.net.describe.DNRDense method) activation_ (eml.net.describe.DNRDense attribute)

add() (eml.net.describe.DNRNet method) add_child() (eml.tree.describe.DTNode method) attr_name() (eml.tree.describe.DTNode method) attr_range() (eml.tree.describe.DTNode method) attr_type() (eml.tree.describe.DTNode method)

B

Backend (class in eml.backend.base) bias() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRActNeuron method) (eml.net.describe.DNRDense method)

bias_ (eml.net.describe.DNRDense attribute)

C

connected() (eml.net.describe.DNRDense method) (eml.net.describe.DNRInput method) (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNeuron method) const_eps() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method) CplexBackend (class in eml.backend.cplex_backend)

cst_eq() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method) cst_geq() (eml.backend.base.Backend method) cst_indicator() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method) cst_leq() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method)

D

DNRActLayer (class in eml.net.describe) DNRActNeuron (class in eml.net.describe) DNRDense (class in eml.net.describe) DNREvaluation (class in eml.net.describe)

DNRInput (class in eml.net.describe) DNRLayer (class in eml.net.describe) DNRNet (class in eml.net.describe) DNRNeuron (class in eml.net.describe) DTNode (class in eml.tree.describe)

E

eml (module) eml.backend (module) eml.backend.base (module) eml.backend.cplex_backend (module) eml.net (module) eml.net.describe (module) eml.net.embed (module) eml.net.process (module) eml.net.reader (module) eml.net.reader.keras_reader (module) eml.tree (module) eml.tree.describe (module)

eml.tree.embed (module) eml.tree.process (module) eml.tree.reader (module) eml.tree.reader.sklearn_reader (module) eml.util (module) encode() (in module eml.net.embed) encode_backward_implications() (in module eml.tree.embed) eval() (eml.tree.describe.DTNode method) evals_ (eml.net.describe.DNREvaluation attribute) evaluate() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRDense method) (eml.net.describe.DNRNet method) expressions() (eml.util.ModelDesc method)

F

fwd_bound_tighthening() (in module eml.net.process)

G

get() (eml.util.ModelDesc method) get_children() (eml.tree.describe.DTNode method)

get_class() (eml.tree.describe.DTNode method) get_obj() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method)

H

has() (eml.util.ModelDesc method)

I

ibr_bounds() (in module eml.net.process) idx() (eml.net.describe.DNRNeuron method) idx_ (eml.net.describe.DNRActNeuron attribute) (eml.net.describe.DNRDense attribute) (eml.net.describe.DNRInput attribute) (eml.net.describe.DNRLayer attribute) (eml.net.describe.DNRNeuron attribute)

L

layer() (eml.net.describe.DNREvaluation method) (eml.net.describe.DNRNet method) (eml.net.describe.DNRNeuron method) layer_ (eml.net.describe.DNRActNeuron attribute) (eml.net.describe.DNRNeuron attribute) layers() (eml.net.describe.DNRNet method) layers_ (eml.net.describe.DNRNet attribute) lb() (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNeuron method) (eml.tree.describe.DTNode method)

lb_ (eml.net.describe.DNRDense attribute) (eml.net.describe.DNRInput attribute) (eml.net.describe.DNRLayer attribute) ltype() (eml.net.describe.DNRDense method) (eml.net.describe.DNRInput method) (eml.net.describe.DNRLayer method)

M

ml_model() (eml.util.ModelDesc method) model() (eml.util.ModelDesc method)

model_to_string() (in module eml.backend.cplex_backend) ModelDesc (class in eml.util)

N

name() (eml.util.ModelDesc method) net_ (eml.net.describe.DNRDense attribute) (eml.net.describe.DNREvaluation attribute) (eml.net.describe.DNRInput attribute) (eml.net.describe.DNRLayer attribute) network() (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNeuron method) neuron() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNet method)

neurons() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNet method) new_model() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method) nlayers() (eml.net.describe.DNRNet method)

R

read_keras_sequential() (in module eml.net.reader.keras_reader) read_sklearn_tree() (in module eml.tree.reader.sklearn_reader) reset_bounds() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRDense method) (eml.net.describe.DNRInput method) (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNet method)

S

set_class() (eml.tree.describe.DTNode method) set_obj() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method) size() (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNet method)

solve() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method) store() (eml.util.ModelDesc method)

T

thr_left (eml.tree.describe.DTNode attribute)

U

ub() (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNeuron method) (eml.tree.describe.DTNode method) ub_ (eml.net.describe.DNRDense attribute) (eml.net.describe.DNRInput attribute) (eml.net.describe.DNRLayer attribute) update_lb() (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNeuron method) (eml.tree.describe.DTNode method)

update_ub() (eml.net.describe.DNRLayer method) (eml.net.describe.DNRNeuron method) (eml.tree.describe.DTNode method) update_ylb() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRActNeuron method) update_yub() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRActNeuron method)

V

var_bin() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method)

var_cont() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method)

W

weights() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRActNeuron method) (eml.net.describe.DNRDense method)

weights_ (eml.net.describe.DNRDense attribute)

X

xpr_eq() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method) xpr_scalprod() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method)

xpr_sum() (eml.backend.base.Backend method) (eml.backend.cplex_backend.CplexBackend method) xval() (eml.net.describe.DNREvaluation method)

Y

yeavals_ (eml.net.describe.DNREvaluation attribute) ylayer() (eml.net.describe.DNREvaluation method) ylb() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRActNeuron method)

ylb_ (eml.net.describe.DNRActLayer attribute) yub() (eml.net.describe.DNRActLayer method) (eml.net.describe.DNRActNeuron method) yub_ (eml.net.describe.DNRActLayer attribute) yval() (eml.net.describe.DNREvaluation method)