---

COCONUT API File List

Here is a list of all files with brief descriptions:

addinfo.h [code]
ade_evaluator.h [code]
annotation.h [code]
annotation_delta.cc [code]
annotation_delta.h [code]
api_delta.h [code]
api_deltabase.h [code]
bint_evaluator.h [code]
bound_delta.cc [code]
bound_delta.h [code]
boxes_delta.cc [code]
boxes_delta.h [code]
cdat-inline.h [code]
certificate.h [code]
cint_evaluator.h [code]
coconut_config.h [code]
coconut_random.h [code]
coconut_types.h [code]
comp_hook.cc [code]
comp_hook.h [code]
control_data.h [code]
counted_ptr.h [code]
dag_delta.cc [code]
dag_delta.h [code]
datamap-inline.h [code]
datamap.cc [code]
datamap.h [code]
dbtools.cc [code]
dbtools.h [code]
delta.h [code]
der_evaluator.h [code]
eval_main.cc [code]
eval_main.h [code]
evaluator.h [code]
expr-inline.h [code]
expression.cc [code]
expression.h [code]
exprnames.cc [code]
func_evaluator.h [code]
gptr.h [code]
gr_analyzer.h [code]
hess_evaluator.h [code]
ider_evaluator.h [code]
ie_rettype.cc [code]
ie_rettype.h [code]
ie_statistic.h [code]
ieret-inline.h [code]
infb_evaluator.h [code]
infeasible_delta.h [code]
inference_engine.cc [code]
inference_engine.h [code]
info_contents.h [code]
int_evaluator.h [code]
interval.h [code]
islp_evaluator.h [code]
linalg.h [code]
logvol_hook.h [code]
model-inline.h [code]
model.cc [code]
model.h [code]
objbounds_hook.h [code]
point_delta.cc [code]
point_delta.h [code]
print_map.h [code]
print_matrix.h [code]
print_seq.h [code]
print_set.h [code]
print_tuple.h [code]
search_graph.cc [code]
search_graph.h [code]
search_node.cc [code]
search_node.h [code]
semantics.cc [code]
semantics.h [code]
semantics_delta.cc [code]
semantics_delta.h [code]
sgraphctx.h [code]
split_delta.h [code]
structure_defs.h [code]
sum_deltas.h [code]
table_delta.cc [code]
table_delta.h [code]
termreason.cc [code]
termreason.h [code]

---