coco Namespace Reference

the main namespace of the COCONUT API More...

Classes

struct analyticd_eval_type

class analyticd_eval

class annotation

Annotations for Models. More...

class annotation_undelta

the undelta class for annotation changes More...

class annotation_delta

the delta class for annotation changes More...

class no_certificate

The not-certified certificate. More...

class split_certificate

The certificate for deltas formed by splits. More...

class compound_certificate

The certificate for deltas formed by compressing bound_delta entries. More...

class rigorous_module_certificate

The certificate for deltas computed by rigorous inference engines. More...

class certificate

The certificate class (certifies deltas for rigorous mode operation). More...

class certificate_base

Base class for the certificates. More...

class delta_get_action

Stored procedure class for computing the delta action specifier. More...

class delta

The delta class (updates to work nodes). More...

class delta_base

Base class for the deltas. More...

class undelta

The undelta class (undo of updates to work nodes). More...

class undelta_base

Base class for the undeltas. More...

class api_exception

API exception class. More...

class nyi_exception

Not Yet Implemented exception class. More...

class basic_alltype

The basic alltype which can hold any of a number of basic types. More...

struct b_interval_eval_type

class b_interval_eval

class bound_undelta

The bound undelta class for undoing changes to the node bounds in a model. More...

class bound_delta

The bound delta class for changing the node bounds within a model. More...

class boxes_delta

A delta class which adds new boxes to the search database. More...

struct cinterval_eval_type

class cinterval_eval

struct coconut_random_f

class work_node_comp_hook

The work_node_comp_hook class (work node computation hook). More...

class wnc_hook_base

Base class for the work node computation hooks. More...

class control_data

The class for communicating parameter information to COCONUT modules. More...

class dag_undelta

The DAG undelta class for undoing changes to the DAG of a model. More...

class dag_delta

The DAG delta class for performing changes to the DAG of a model. More...

class datamap

The base class for communicating with COCONUT modules. More...

class dbt_row

This type is used to hold one row in some table of the search database. More...

class dbccmps_gt

class dbccmps_absgt

class dbccmps_lt

class dbccmps_abslt

class dbccmps_true

class dbccmps_false

struct dbccmp_true

struct dbccmp_false

class point_check_feasibility

Stored procedure checking the feasibility of a point. More...

class box_check_intersection

Stored procedure checking whether a box intersects the work_node's box. More...

class prep_d_eval

Preparation Evaluator for derivatives. More...

struct func_d_eval_type

Visitor data for func_d_eval. More...

class func_d_eval

Forward function evaluation with preparation of derivative data. More...

struct der_eval_type

Visitor data for der_eval. More...

class der_eval

Backward gradient evaluation with prepared derivative data. More...

struct der_cache

Cache data for der_eval. More...

struct dfunc_eval_rettype

struct dfunc_eval_type

class dfunc_eval

class diameter_comp_hook

The log-volume computation hook (work node computation hook). More...

struct diffI_eval_type

Visitor data for diffI_eval. More...

class diffI_eval

Forward function range evaluation. More...

struct diffNumber_eval_type

Visitor data for diffNumber_eval. More...

class diffNumber_eval

Forward function range evaluation. More...

class variable_indicator

Bitmap class used to indicate variable occurrence. More...

class _evaluator_base

Base class of all evaluators. More...

class evaluator_base

Base class of all (non-caching) evaluators. More...

class cached_evaluator_base

Base class of all caching evaluators. More...

class forward_evaluator_base

Base class of all (non-caching) forward evaluators. More...

class backward_evaluator_base

Base class of all (non-caching) backward evaluators. More...

class cached_forward_evaluator_base

Base class of all (non-caching) forward evaluators. More...

class cached_backward_evaluator_base

Base class of all caching backward evaluators. More...

class expression_node

The base class for a node in the expression DAGs. More...

class expression_print_visitor

struct func_eval_type

Visitor data for func_eval. More...

class func_eval

Forward function evaluation. More...

struct func_cache

Cache data for func_eval. More...

class graph_analyzer_exception

Graph analyzer exception class. More...

class graph_analyzer

Graph analyzer base class. More...

class graphorder_visitor

This visitor class is used for computing a graph order. More...

struct hessPreparationEvaluatorType

class hessPreparationEvaluator

struct hessForwardEvaluatorReturnValue

struct hessForwardEvaluatorType

class hessForwardEvaluator

struct hessBackwardEvaluatorType

class hessBackwardEvaluator

class prep_id_eval

Preparation Evaluator for interval derivatives. More...

struct func_id_eval_type

Visitor data for func_id_eval. More...

class func_id_eval

Forward function range evaluation with preparation of interval derivative data. More...

struct ider_eval_type

Visitor data for ider_eval. More...

class ider_eval

Backward interval gradient evaluation with prepared interval derivative data. More...

struct iderf_ret_type

Visitor data for iderf_eval return value. More...

struct iderf_eval_type

Visitor data for iderf_eval. More...

class iderf_eval

Forward function and derivative range evaluation. More...

class ie_return_type

The return class of all inference engines. More...

class statistic_info

Base class for all inference engine statistics classes. More...

struct ihessPreparationEvaluatorType

class ihessPreparationEvaluator

struct ihessForwardEvaluatorReturnValue

struct ihessForwardEvaluatorType

class ihessForwardEvaluator

struct ihessBackwardEvaluatorType

class ihessBackwardEvaluator

struct infbound_eval_type

class infbound_eval

class infeasible_undelta

The infeasible undelta class for undoing changes to the feasibility of a model. More...

class infeasible_delta

The infeasible delta class for marking a model as infeasible. More...

class inference_engine_comp_hook

The inference engine meta computation hook (work node computation hook). More...

class inference_engine_exception

Inference engine exception class. More...

class inference_engine

Inference engine base class. More...

class info_contents

The class for returning additional information from inference modules. More...

class initializer_exception

Initializer exception class. More...

class initializer

Initializer base class. More...

struct interval_eval_type

Visitor data for interval_eval. More...

class interval_eval

Forward function range evaluation. More...

struct checking_my

struct my_rounded_math

struct interval_st

Constructor-free interval. More...

class interval

Interval wrapper class. More...

class interval_set

struct Islope_eval_type

Visitor data for Islope_eval. More...

class Islope_eval

Forward function range evaluation. More...

struct func_islp_return_type

The return type of the func_islp_eval evaluator. More...

class prep_islp_eval

Preparation Evaluator for first order slopes. More...

struct func_islp_eval_type

Visitor data for func_id_eval. More...

class func_islp_eval

Forward function range evaluation with preparation of first order slope data. More...

struct islp_eval_type

Visitor data for islp_eval. More...

class islp_eval

Backward first order slope evaluation with prepared first order slope data. More...

class locopt_ret_record

class logvol_comp_hook

The log-volume computation hook (work node computation hook). More...

class management_module_exception

Management module exception class. More...

class management_module

Management module base class. More...

class model

The model class (an attributed DAG of expression nodes, lowest class in the model hierarchy). More...

class model_iddata

The model id-data class (the topmost in the model class hierarchy). More...

class model_gid

Model Group Data Class (middle class in the model hierarchy). More...

class objbounds_comp_hook

The objective-bounds computation hook (work node computation hook). More...

class pending_status_comp_hook

The pending status computation hook (work node computation hook). More...

class calc_pf_star

Stored procedure calculating the pf* value of a box. More...

class pfstar_hook

The pfstar computation hook (work node computation hook). More...

class point_delta

A delta class which adds new points to the search database. More...

class proj_rational

class projective_interval

class report_module_exception

Report module exception class. More...

class report_module

Report module base class. More...

class sum_deltas

Pre-post visitor for summing up all the deltas during work node extraction. More...

class __sg_anc_visitor

class search_graph

The search graph. More...

class search_node

Base type of the nodes in the search graph. More...

class delta_node

Class holding the delta nodes in the search graph. More...

class full_node

Class holding the full nodes in the search graph. More...

class work_node

Work node, which is passed to the inference engines. More...

class convex_e

Convexity information. More...

class semantics

Expression Semantics. More...

class semantics_undelta

The semantics undelta class for undoing changes to the node semantics in a model. More...

class semantics_delta

The semantics delta class for changing the node semantics within a model. More...

class search_graph_context

An evaluation context when retrieving from the search database. More...

class sparsity_visitor

Preorder visitor which calculates sparsity structures. More...

class split_undelta

The split undelta class for removing proposed splits from a work_node. More...

class split_delta

The split delta class for proposing useful splits. More...

class table_delta

The base class for all deltas adding information to the search database. More...

class termination_reason

This class holds the reason of termination of inference and management modules. More...

class work_node_context

The evaluation context when retrieving from the search database. More...

Typedefs

typedef basic_alltype additional_info_u

type definition for backwards compatibility with earlier API versions

typedef analyticd(* analyticd_evaluator )(const std::vector< analyticd > *__x, const variable_indicator &__v)

typedef std::vector< std::pair
< vdbl::tableid, vdbl::rowid > > trvec

typedef vdbl::rowid delta_id

The class for delta ids.

typedef b_interval(* b_interval_evaluator )(const std::vector< b_interval > *__x, const variable_indicator &__v)

typedef cinterval(* cinterval_evaluator )(const std::vector< cinterval > *__x, const variable_indicator &__v)

typedef long int rand_t

typedef enum coco::tristate_e tristate

typedef double(* func_evaluator )(const std::vector< double > *__x, const variable_indicator &__v)

typedef diffI(* diffI_evaluator )(const std::vector< diffI > *__x, const variable_indicator &__v)

typedef diffNumber(* diffNumber_evaluator )(const std::vector< diffNumber > *__x, const variable_indicator &__v)

typedef interval rhs_t

typedef std::vector< void * > evaluator_v

typedef ie_return_type ga_return_type

Graph analyzer return type.

typedef iderf_ret_type(* iderf_evaluator )(const std::vector< interval > *__x, const variable_indicator &__v)

typedef infbound(* infbound_evaluator )(const std::vector< infbound > *__x, const variable_indicator &__v)

typedef interval(* interval_evaluator )(const std::vector< interval > *__x, const variable_indicator &__v)

typedef
boost::numeric::interval_lib::policies
< my_rounded_math< double >
, checking_my< double >> my_policies

typedef Islope(* Islope_evaluator )(const std::vector< Islope > *__x, const variable_indicator &__v)

typedef std::map< int,
locopt_ret_record > locopt_ret

typedef model::walker expression_walker

Walker to the expression DAG.

typedef model::const_walker expression_const_walker

Const walker to the expression DAG.

typedef search_graph::const_walker search_inspector

The search inspector for graph analysis.

typedef search_graph::walker search_focus

The search focus for work node selection.

typedef std::pair< vdbl::rowid,
search_node_id > si_ri_pair

typedef uint32_t search_node_id

Type of the unique search node identifier.

typedef std::pair< unsigned
int, unsigned int > ipair

Row-column index pair.

typedef std::set< ipair > splist

Sparsity information.

typedef bool(* prep_d_evaluator )()

typedef double(* func_d_evaluator )(const std::vector< double > *__x, const variable_indicator &__v, std::vector< double > &__d_data)

typedef std::vector< double > &(* der_evaluator )(const std::vector< double > &__d_dat, const variable_indicator &__v)

typedef bool(* prep_id_evaluator )()

typedef interval(* func_id_evaluator )(const std::vector< interval > *__x, const variable_indicator &__v, std::vector< interval > &__id_data)

typedef std::vector< interval > &(* ider_evaluator )(const std::vector< interval > &__d_dat, const variable_indicator &__v)

typedef bool(* prep_islp_evaluator )()

typedef func_islp_return_type(* func_islp_evaluator )(const std::vector< interval > *__x, const variable_indicator &__v, std::vector< interval > &__islp_data)

typedef std::vector< interval > &(* islp_evaluator )(const std::vector< interval > &__d_dat, const variable_indicator &__v)

Enumerations

enum api_exception_type {
 apiee_internal = 1, apiee_evaluator = 2, apiee_io = 3, apiee_delta = 4,
 apiee_search_graph = 5, apiee_communication_data = 6, apiee_inference_engine = 7, apiee_graph_analyzer = 8,
 apiee_management_module = 9, apiee_initializer = 10, apiee_report_module = 11, apiee_oom = 12,
 apiee_nyi = 13, apiee_other = 14
}

Enum for classifying api_exceptions. More...

enum tristate_e { t_true = 1, t_false = -1, t_maybe = 0 }

enum dbc_method {
 dbc_cmp_eq = DB_COMPARE_CMP_EQ, dbc_cmp_ne = DB_COMPARE_CMP_NE, dbc_cmp_gt = DB_COMPARE_CMP_GT, dbc_cmp_ge = DB_COMPARE_CMP_GE,
 dbc_cmp_lt = DB_COMPARE_CMP_LT, dbc_cmp_le = DB_COMPARE_CMP_LE, dbc_cmp_in = DB_COMPARE_CMP_IN, dbc_cmp_abseq = DB_COMPARE_CMP_ABSEQ,
 dbc_cmp_absne = DB_COMPARE_CMP_ABSNE, dbc_cmp_absgt = DB_COMPARE_CMP_ABSGT, dbc_cmp_absge = DB_COMPARE_CMP_ABSGE, dbc_cmp_abslt = DB_COMPARE_CMP_ABSLT,
 dbc_cmp_absle = DB_COMPARE_CMP_ABSLE, dbc_cmp_absin = DB_COMPARE_CMP_ABSIN, dbc_sort_min = DB_COMPARE_SORT_MIN, dbc_sort_max = DB_COMPARE_SORT_MAX,
 dbc_sort_absmin = DB_COMPARE_SORT_ABSMIN, dbc_sort_absmax = DB_COMPARE_SORT_ABSMAX, dbc_sort_true = DB_COMPARE_SORT_TRUE, dbc_sort_false = DB_COMPARE_SORT_FALSE
}

enum e_expression_type {
 ex_bound = 1, ex_linear = 1<<1, ex_quadratic = 1<<2, ex_polynomial = 1<<3,
 ex_other = 1<<4, ex_kj = 1<<7, ex_org = 1<<8, ex_redundant = 1<<9,
 ex_notredundant = 1<<10, ex_active_lo = 1<<11, ex_inactive_lo = 1<<12, ex_active_hi = 1<<13,
 ex_inactive_hi = 1<<14, ex_active = ex_active_lo|ex_active_hi, ex_inactive = ex_inactive_lo|ex_inactive_hi, ex_integer = 1<<15,
 ex_exists = 1<<16, ex_forall = 1<<17, ex_free = 1<<18, ex_stochastic = 1<<19,
 ex_convex = 1<<20, ex_concave = 1<<21, ex_inequality = 1<<28, ex_equality = 1<<29,
 ex_leftbound = 1<<30, ex_rightbound = 1<<31, ex_atmlin = ex_bound|ex_linear, ex_atmquad = ex_atmlin|ex_quadratic,
 ex_atmpoly = ex_atmquad|ex_polynomial, ex_nonlin = ex_quadratic|ex_polynomial|ex_other, ex_nonbnd = ex_linear|ex_nonlin, ex_any = ex_atmlin|ex_nonlin,
 ex_bothbound = ex_leftbound|ex_rightbound
}

enum search_node_relation {
 snr_root, snr_reduction, snr_relaxation, snr_split,
 snr_glue, snr_worknode, snr_virtual
}

Enum specifying node relations in the search graph. More...

enum convex_info { c_convex = 1, c_linear = 0, c_concave = -1, c_maybe = 2 }

Convexity information enum. More...

enum type_annotation { v_exists = 0, v_forall = 1, v_free = 2, v_stochastic = 3 }

Node type information enum. More...

enum activity_descr {
 a_redundant = 1, a_active_lo = 2, a_active_lo_red = a_active_lo|a_redundant, a_active_hi = 4,
 a_active_hi_red = a_active_hi|a_redundant, a_active = a_active_lo|a_active_hi, a_active_red = a_active|a_redundant
}

Constraint activity information enum. More...

enum sp_indexing { full_indexing = 0, row_wise_indexing = 1, column_wise_indexing = 2 }

Functions

std::ostream & operator<< (std::ostream &o, const certificate &t)

Output Operator for certificates.

std::ostream & operator<< (std::ostream &o, const delta &t)

Output Operator for deltas.

const basic_alltype & basic_alltype_empty ()

std::ostream & operator<< (std::ostream &os, const basic_alltype &b)

double d_random ()

double r_random_h_eval (double t, double b, double a)

double r_random_hinv_eval (double x, double b, double a)

double r_random (double l, double u, double beta=10.0, double alpha=0.9)

double r_random (const interval &_i, double beta=10.0, double alpha=0.9)

interval i_random (double l, double r, double beta=10.0, double alpha=0.9)

interval i_random (const interval &_i, double beta=10.0, double alpha=0.9)

interval i_random ()

template<typename _TR >

bool eval_in (const vdbl::rowid &rid, const std::string &colname, dbc_method tp, vdbl::view *iv, _TR, const basic_alltype &I)

template<>

bool eval_in< interval > (const vdbl::rowid &rid, const std::string &colname, dbc_method tp, vdbl::view *iv, interval, const basic_alltype &I)

template<>

bool eval_in< std::string > (const vdbl::rowid &rid, const std::string &colname, dbc_method tp, vdbl::view *iv, std::string, const basic_alltype &I)

template<typename _TR >

bool eval_s (const vdbl::rowid &rid, const std::string &colname, dbc_method tp, vdbl::view *iv, _TR cmpval)

template<>

bool eval_s< interval > (const vdbl::rowid &rid, const std::string &colname, dbc_method tp, vdbl::view *iv, interval cmpval)

template<typename _TR >

bool eval_u (const vdbl::rowid &rid, const std::string &colname, dbc_method tp, vdbl::view *iv, _TR cmpval)

bool eval (const vdbl::rowid &rid, const std::string &colname, dbc_method tp, vdbl::view *iv, const basic_alltype &cmpval)

void parse_dbcompare_expression (const std::string &s, std::map< int, std::triple< std::string, dbc_method, basic_alltype > > &cols, std::vector< std::vector< int > > &expr)

void parse_dbcompare_sortorder (const std::string &s, std::map< int, std::triple< std::string, dbc_method, basic_alltype > > &cols, std::vector< int > &order)

template<typename _AT >

void filter_from_view (typename std::vector< std::pair< vdbl::rowid, _AT > > &riv, vdbl::view *iv, const std::map< int, std::triple< std::string, dbc_method, basic_alltype > > &cols, const std::vector< std::vector< int > > &expr)

template<typename _AT >

void list_from_view (typename std::vector< std::pair< vdbl::rowid, _AT > > &riv, vdbl::view *iv, const std::map< int, std::triple< std::string, dbc_method, basic_alltype > > &cols, const std::vector< int > &sort, unsigned int n)

template<typename _TR >

_TR dbccmps_abs (const _TR &x)

template<typename _TR , typename _AT >

std::vector< std::pair
< vdbl::rowid, _AT >
>::iterator filter_s (typename std::vector< std::pair< vdbl::rowid, _AT > > &rid, typename std::vector< std::pair< vdbl::rowid, _AT > >::iterator rid_b, const std::string &colname, dbc_method tp, vdbl::view *iv, unsigned int n, _TR, double rel, double abs)

template<typename _TR , typename _AT >

std::vector< std::pair
< vdbl::rowid, _AT >
>::iterator filter_u (typename std::vector< std::pair< vdbl::rowid, _AT > > &rid, typename std::vector< std::pair< vdbl::rowid, _AT > >::iterator rid_b, const std::string &colname, dbc_method tp, vdbl::view *iv, unsigned int n, _TR)

template<typename _AT >

std::vector< std::pair
< vdbl::rowid, _AT >
>::iterator filter (typename std::vector< std::pair< vdbl::rowid, _AT > > &rid, typename std::vector< std::pair< vdbl::rowid, _AT > >::iterator rid_b, const std::string &colname, dbc_method tp, vdbl::view *iv, unsigned int n, std::pair< double, double > rel_abs)

tableid get_point_table (database *ptr, standard_table *&ptb, userid _uid)

vdbl::tableid get_point_table (vdbl::database *ptr, vdbl::standard_table *&ptb, vdbl::userid)

Get the point from the search database.

std::vector< std::vector< void * > > standard_evaluators (NUM_EVALUATORS)

template<class _Walker , class _Visitor >

_Visitor::return_value recursive_short_cut_walk (_Walker __w, _Visitor __f)

Perform a recursive graph walk with possible caching and short-cuts.

template<class _Walker , class _Visitor >

_Visitor::return_value _recursive_short_cut_walk (_Walker __w, _Visitor __f)

Perform a recursive graph walk with possible caching and short-cuts (internal).

template<class _Visitor , class _Walker >

_Visitor::return_value evaluate (_Visitor __v, _Walker __start)

Evaluate an evaluator on a DAG.

std::ostream & operator<< (std::ostream &o, const expression_node &__x)

std::ostream & __wr_interval (std::ostream &o, const interval &__i)

void graphorder (const model &DAG, std::vector< unsigned int > &order)

Compute a graph order.

void hess_star_color1 (const unsigned int n, const linalg::matrix< int > &H, std::vector< std::vector< unsigned int > > &parts, std::vector< linalg::sparse_vector< unsigned int > > &provides)

double safeguarded_mid (const interval &__i)

interval ipow (const interval &x, int n)

interval gauss (const interval &x)

interval atan2 (const interval &y, const interval &x)

double absmin (const interval &__i)

double gainfactor (const interval &_old, const interval &_new)

bool operator== (const interval &a, double b)

bool operator!= (const interval &a, double b)

interval cancel (const interval &a, const interval &b)

std::ostream & operator<< (std::ostream &s, const interval &a)

double mid (const interval &)

double diam (const interval &)

double width (const interval &)

double relDiam (const interval &)

double rad (const interval &)

double mig (const interval &)

double mag (const interval &)

double dist (const interval &x, const interval &y)

interval round_to_integer (const interval &x)

interval acos (const interval &x)

interval abs (const interval &x)

interval acosh (const interval &x)

interval acot (const interval &x)

interval acoth (const interval &x)

interval asin (const interval &x)

interval asinh (const interval &x)

interval atan (const interval &x)

interval atanh (const interval &x)

interval cos (const interval &x)

interval cosh (const interval &x)

interval cot (const interval &x)

interval coth (const interval &x)

interval exp (const interval &x)

interval exp10 (const interval &x)

interval exp2 (const interval &x)

interval expm1 (const interval &x)

interval log (const interval &x)

interval log10 (const interval &x)

interval log1p (const interval &x)

interval log2 (const interval &x)

interval power (const interval &x, int n)

interval pow (const interval &x, const interval &y)

interval sin (const interval &x)

interval sinh (const interval &x)

interval sqr (const interval &x)

interval sqrt (const interval &x)

interval tan (const interval &x)

interval tanh (const interval &x)

interval imax (const interval &x, const interval &y)

interval imin (const interval &x, const interval &y)

double downward_plus (const double &a, const double &b)

double upward_plus (const double &a, const double &b)

double downward_minus (const double &a, const double &b)

double upward_minus (const double &a, const double &b)

double downward_multiplies (const double &a, const double &b)

double upward_multiplies (const double &a, const double &b)

double downward_divides (const double &a, const double &b)

double upward_divides (const double &a, const double &b)

interval intersect (const interval &__x, const interval &__y)

interval hull (const interval &__x, const interval &__y)

interval hulldiff (const interval &__x, const interval &__y)

double width (const interval_set &a)

interval_set divide (const interval &a, const interval &b)

bool operator== (const interval_set &a, const interval_set &b)

interval_set imin (const interval_set &a, const interval_set &b)

interval_set imax (const interval_set &a, const interval_set &b)

interval_set power (const interval_set &a, int n)

interval_set sqr (const interval_set &a)

interval_set sqrt (const interval_set &a)

interval_set exp (const interval_set &a)

interval_set log (const interval_set &a)

interval_set abs (const interval_set &a)

interval_set sin (const interval_set &a)

interval_set cos (const interval_set &a)

interval_set pow (const interval_set &a, const interval_set &b)

interval_set atan2 (const interval_set &a, const interval_set &b)

interval_set round_to_integer (const interval_set &a)

interval_set operator+ (const interval_set &a, const interval_set &b)

interval_set operator+ (const interval_set &a, const interval &b)

interval_set operator+ (const interval &a, const interval_set &b)

interval_set operator+ (const interval_set &a, double b)

interval_set operator+ (double a, const interval_set &b)

interval_set operator- (const interval_set &a, const interval_set &b)

interval_set operator- (const interval_set &a, const interval &b)

interval_set operator- (const interval &a, const interval_set &b)

interval_set operator- (const interval_set &a, double b)

interval_set operator- (double a, const interval_set &b)

interval_set operator- (const interval_set &a)

interval_set operator* (const interval_set &a, const interval_set &b)

interval_set operator* (const interval_set &a, const interval &b)

interval_set operator* (const interval &a, const interval_set &b)

interval_set operator* (const interval_set &a, double b)

interval_set operator* (double a, const interval_set &b)

interval_set divide (const interval &a, double b)

interval_set divide (double a, const interval &b)

interval_set operator/ (const interval_set &a, const interval_set &b)

interval_set operator/ (const interval_set &a, const interval &b)

interval_set operator/ (const interval &a, const interval_set &b)

interval_set operator/ (const interval_set &a, double b)

interval_set operator/ (double a, const interval_set &b)

double get_locopt_weight_from_rval (const locopt_ret &ret_info, const std::string &iename, const int srval)

termination_reason get_locopt_termr_from_rval (const locopt_ret &ret_info, const std::string &iename, const int srval)

bool operator< (int n, const proj_rational &R)

bool operator<= (int n, const proj_rational &R)

bool operator> (int n, const proj_rational &R)

bool operator>= (int n, const proj_rational &R)

bool operator== (int n, const proj_rational &R)

bool operator!= (int n, const proj_rational &R)

proj_rational abs (const proj_rational &r)

template<class I >

projective_interval operator+ (const projective_interval &a, const projective_interval &b)

template<class I >

projective_interval operator+ (const projective_interval &a, double b)

template<class I >

projective_interval operator+ (double b, const projective_interval &a)

template<class I >

projective_interval operator- (const projective_interval &a, const projective_interval &b)

template<class I >

projective_interval operator- (const projective_interval &a, double b)

template<class I >

projective_interval operator- (double b, const projective_interval &a)

template<class I >

projective_interval operator* (const projective_interval &a, const projective_interval &b)

template<class I >

projective_interval operator* (const projective_interval &a, double b)

template<class I >

projective_interval operator* (double b, const projective_interval &a)

template<class I >

projective_interval operator/ (const projective_interval &a, const projective_interval &b)

template<class I >

projective_interval operator/ (const projective_interval &a, double b)

template<class I >

projective_interval operator/ (double b, const projective_interval &a)

template<class I >

projective_interval acos (const projective_interval &x)

template<class I >

projective_interval abs (const projective_interval &x)

template<class I >

projective_interval acosh (const projective_interval &x)

template<class I >

projective_interval acot (const projective_interval &x)

template<class I >

projective_interval acoth (const projective_interval &x)

template<class I >

projective_interval asin (const projective_interval &x)

template<class I >

projective_interval asinh (const projective_interval &x)

template<class I >

projective_interval atan (const projective_interval &x)

template<class I >

projective_interval atanh (const projective_interval &x)

template<class I >

projective_interval cos (const projective_interval &x)

template<class I >

projective_interval cosh (const projective_interval &x)

template<class I >

projective_interval cot (const projective_interval &x)

template<class I >

projective_interval coth (const projective_interval &x)

template<class I >

projective_interval exp (const projective_interval &x)

template<class I >

projective_interval exp10 (const projective_interval &x)

template<class I >

projective_interval exp2 (const projective_interval &x)

template<class I >

projective_interval expm1 (const projective_interval &x)

template<class I >

projective_interval log (const projective_interval &x)

template<class I >

projective_interval log10 (const projective_interval &x)

template<class I >

projective_interval log1p (const projective_interval &x)

template<class I >

projective_interval log2 (const projective_interval &x)

template<class I >

projective_interval power (const projective_interval &x, int n)

template<class I >

projective_interval pow (const projective_interval &x, const projective_interval &y)

template<class I >

projective_interval sin (const projective_interval &x)

template<class I >

projective_interval sinh (const projective_interval &x)

template<class I >

projective_interval sqr (const projective_interval &x)

template<class I >

projective_interval sqrt (const projective_interval &x)

template<class I >

projective_interval tan (const projective_interval &x)

template<class I >

projective_interval tanh (const projective_interval &x)

template<class I >

projective_interval imax (const projective_interval &x, const projective_interval &y)

template<class I >

projective_interval imin (const projective_interval &x, const projective_interval &y)

template<class I >

projective_interval division_part1 (const projective_interval &x, const projective_interval &y, bool &b)

template<class I >

projective_interval division_part2 (const projective_interval &x, const projective_interval &y, bool b)

work_node full_node_to_work_node (full_node &n_full, gptr< search_node > &ground)

This function converts a full_node to a work_node.

void get_ids (const std::vector< si_ri_pair > &riv, std::vector< search_node_id > &v)

void get_leaves_vector (const search_graph &__sgraph, std::vector< si_ri_pair > &v, search_inspector *sfoc=NULL)

Sparsity calculation (Hessian and Jacobian).

bool get_children_vector (const search_graph &__sgraph, const search_node_id &pid, std::vector< si_ri_pair > &v, search_inspector *sfoc)

work_node operator- (const work_node &_w, const delta_id &_d)

Remove one delta from a work node.

work_node & operator-= (work_node &_w, const delta_id &_d)

Remove one delta from a work node.

work_node operator+ (const work_node &_w, const delta_id &_i)

Add one delta to a work node.

work_node & operator+= (work_node &_w, const delta_id &_i)

Add one delta to a work node.

template<template< class _Tp, class _TA > class _Ctr, class _Al >

work_node operator+ (const work_node &_w, const _Ctr< delta_id, _Al > &_d)

Add a number of deltas to a work node.

template<template< class _Tp, class _TA > class _Ctr, class _Al >

work_node & operator+= (work_node &_w, const _Ctr< delta_id, _Al > &_d)

Add a number of deltas to a work node.

template<template< class _Tp, class _TA > class _Ctr, class _Al >

work_node operator- (const work_node &_w, const _Ctr< delta_id, _Al > &_d)

Remove a number of deltas from a work node.

template<template< class _Tp, class _TA > class _Ctr, class _Al >

work_node & operator-= (work_node &_w, const _Ctr< delta_id, _Al > &_d)

Remove a number of deltas from a work node.

std::ostream & operator<< (std::ostream &o, const semantics &__s)

C++ stream output operator for semantics.

bool operator== (const convex_e &__c, const convex_e &__d)

Equality comparison operator.

bool operator== (const convex_e &__c, const convex_info &__d)

Equality comparison operator with a convex_info.

bool operator== (const convex_info &__c, const convex_e &__d)

Equality comparison operator with a convex_info.

bool operator!= (const convex_e &__c, const convex_e &__d)

Disequality comparison operator.

bool operator!= (const convex_e &__c, const convex_info &__d)

Disequality comparison operator with a convex_info.

bool operator!= (const convex_info &__c, const convex_e &__d)

Disequality comparison operator with a convex_info.

std::ostream & operator<< (std::ostream &o, const convex_e &__s)

C++ stream output operator for convex_e.

void sparsity (const model &DAG, std::vector< unsigned int > &H_ridx, std::vector< unsigned int > &H_cidx, std::vector< unsigned int > &J_funidx, std::vector< unsigned int > &J_varidx, bool J_with_obj, bool J_obj_is_first, bool org_only, bool H_upper_only, sp_indexing indexing, bool fun_one_based, bool var_one_based)

Sparsity calculation (Hessian and Jacobian).

void sparsity (const model &DAG, std::vector< unsigned int > &H_ridx, std::vector< unsigned int > &H_cidx, bool org_only, bool H_upper_only, sp_indexing indexing, bool var_one_based)

Sparsity calculation (Hessian).

void sparsity (const model &DAG, std::vector< unsigned int > &J_funidx, std::vector< unsigned int > &J_varidx, bool J_with_obj, bool J_obj_is_first, bool org_only, sp_indexing indexing, bool fun_one_based, bool var_one_based)

Sparsity calculation (Jacobian).

void sparsity (const model &DAG, unsigned int &nnz_H, unsigned int *&H_ridx, unsigned int *&H_cidx, bool org_only, bool H_upper_only, sp_indexing indexing, bool fun_one_based, bool var_one_based)

void set_translation_map (const std::map< std::string, std::string > &tr_msg_map)

A datamap function for setting the message translation map.

const std::string & get_translated_message (const std::string &msg)

A datamap function for message translation.

std::ostream & operator<< (std::ostream &o, const termination_reason &__x)

C++ stream output operator for the termination_reason.

std::string i2a (int x)

converter int -> string

std::string datetime (const struct tm *timeptr)

local time as C++ string

std::string localdatetime ()

converter date & time into std::string

std::string e2D (double d)

Fortran real as C++ string.

template<class _TH >

std::string convert_to_str (const _TH &_h)

Convert an object of any printable class to a string.

template<class _TC >

bool operator== (const interval &__i, const _TC &__d)

bool operator== (const interval &a, const interval &b)

template<class _TC >

bool operator!= (const interval &__i, const _TC &__d)

bool operator!= (const interval &a, const interval &b)

bool operator< (const interval &a, const interval &b)

bool operator< (const interval &a, double b)

bool operator< (double a, const interval &b)

interval operator+ (const interval &a, const interval &b)

interval operator+ (const interval &a, double b)

interval operator+ (double b, const interval &a)

interval operator- (const interval &a, const interval &b)

interval operator- (const interval &a, double b)

interval operator- (double b, const interval &a)

interval operator* (const interval &a, const interval &b)

interval operator* (const interval &a, double b)

interval operator* (double b, const interval &a)

interval operator/ (const interval &a, const interval &b)

interval operator/ (const interval &a, double b)

interval operator/ (double b, const interval &a)

interval division_part1 (const interval &x, const interval &y, bool &b)

interval division_part2 (const interval &x, const interval &y, bool b=true)

void sparsity (const model &DAG, unsigned int &nnz_H, unsigned int *&H_ridx, unsigned int *&H_cidx, unsigned int &nnz_J, unsigned int *&J_funidx, unsigned int *&J_varidx, bool J_with_obj, bool J_obj_is_first, bool org_only, bool H_upper_only, sp_indexing indexing, bool fun_one_based, bool var_one_based)

Sparsity calculation (Hessian and Jacobian).

void sparsity (const model &DAG, int &nnz_H, int *&H_ridx, int *&H_cidx, int &nnz_J, int *&J_funidx, int *&J_varidx, bool J_with_obj, bool J_obj_is_first, bool org_only, bool H_upper_only, sp_indexing indexing, bool fun_one_based, bool var_one_based)

Sparsity calculation (Hessian and Jacobian).

void sparsity (const model &DAG, int &nnz_H, int *&H_ridx, int *&H_cidx, bool org_only, bool H_upper_only, sp_indexing indexing, bool var_one_based)

Sparsity calculation (Hessian).

void sparsity (const model &DAG, unsigned int &nnz_H, unsigned int *&H_ridx, unsigned int *&H_cidx, bool org_only, bool H_upper_only, sp_indexing indexing, bool var_one_based)

Sparsity calculation (Hessian).

void sparsity (const model &DAG, unsigned int &nnz_J, unsigned int *&J_funidx, unsigned int *&J_varidx, bool J_with_obj, bool J_obj_is_first, bool org_only, sp_indexing indexing, bool fun_one_based, bool var_one_based)

Sparsity calculation (Jacobian).

void sparsity (const model &DAG, int &nnz_J, int *&J_funidx, int *&J_varidx, bool J_with_obj, bool J_obj_is_first, bool org_only, sp_indexing indexing, bool fun_one_based, bool var_one_based)

Sparsity calculation (Jacobian).

Variables

struct coco::der_cache * f_data

Cache data for der_eval.

std::vector< der_cache > * d_data

std::vector< double > * grad_vec

const model * mod

double mult

double mult_trans

unsigned int child_n

std::vector< std::vector< void * > > standard_evaluators

const char * expr_names []

Detailed Description

This is the main namespace holding all classes and functions of the COCONUT-Environment API.

Typedef Documentation

typedef analyticd(* coco::analyticd_evaluator)(const std::vector< analyticd > *__x, const variable_indicator &__v)

Definition at line 45 of file ade_evaluator.h.

typedef b_interval(* coco::b_interval_evaluator)(const std::vector< b_interval > *__x, const variable_indicator &__v)

Definition at line 45 of file bint_evaluator.h.

typedef cinterval(* coco::cinterval_evaluator)(const std::vector< cinterval > *__x, const variable_indicator &__v)

Definition at line 45 of file cint_evaluator.h.

typedef std::vector< double > &(* coco::der_evaluator)(const std::vector< double > &__d_dat, const variable_indicator &__v)

Functions of these types need to be defined for all user defined nodes.

Definition at line 51 of file der_evaluator.h.

typedef diffI(* coco::diffI_evaluator)(const std::vector< diffI > *__x, const variable_indicator &__v)

Functions of this type need to be defined for all user defined nodes.

Definition at line 46 of file diffI_evaluator.h.

typedef diffNumber(* coco::diffNumber_evaluator)(const std::vector< diffNumber > *__x, const variable_indicator &__v)

Functions of this type need to be defined for all user defined nodes.

Definition at line 46 of file diffNumber_evaluator.h.

typedef std::vector<void*> coco::evaluator_v

This type defines the type of the standard evaluators for user defined nodes.

Definition at line 429 of file expression.h.

typedef double(* coco::func_d_evaluator)(const std::vector< double > *__x, const variable_indicator &__v, std::vector< double > &__d_data)

Functions of these types need to be defined for all user defined nodes.

Definition at line 48 of file der_evaluator.h.

typedef double(* coco::func_evaluator)(const std::vector< double > *__x, const variable_indicator &__v)

Functions of this type need to be defined for all user defined nodes.

Definition at line 45 of file dfunc_evaluator.h.

typedef interval(* coco::func_id_evaluator)(const std::vector< interval > *__x, const variable_indicator &__v, std::vector< interval > &__id_data)

Functions of these types need to be defined for all user defined nodes.

Definition at line 48 of file ider_evaluator.h.

typedef func_islp_return_type(* coco::func_islp_evaluator)(const std::vector< interval > *__x, const variable_indicator &__v, std::vector< interval > &__islp_data)

Functions of these types need to be defined for all user defined nodes.

Definition at line 59 of file islp_evaluator.h.

typedef std::vector<interval>&(* coco::ider_evaluator)(const std::vector< interval > &__d_dat, const variable_indicator &__v)

Functions of these types need to be defined for all user defined nodes.

Definition at line 51 of file ider_evaluator.h.

typedef iderf_ret_type(* coco::iderf_evaluator)(const std::vector< interval > *__x, const variable_indicator &__v)

Functions of this type need to be defined for all user defined nodes.

Definition at line 55 of file iderf_evaluator.h.

typedef infbound(* coco::infbound_evaluator)(const std::vector< infbound > *__x, const variable_indicator &__v)

Definition at line 45 of file infb_evaluator.h.

typedef interval(* coco::interval_evaluator)(const std::vector< interval > *__x, const variable_indicator &__v)

Functions of this type need to be defined for all user defined nodes.

Definition at line 45 of file int_evaluator.h.

typedef Islope(* coco::Islope_evaluator)(const std::vector< Islope > *__x, const variable_indicator &__v)

Functions of this type need to be defined for all user defined nodes.

Definition at line 46 of file Islope_evaluator.h.

typedef std::vector<interval>&(* coco::islp_evaluator)(const std::vector< interval > &__d_dat, const variable_indicator &__v)

Functions of these types need to be defined for all user defined nodes.

Definition at line 62 of file islp_evaluator.h.

typedef std::map<int,locopt_ret_record> coco::locopt_ret

Definition at line 63 of file locopt_ret.h.

typedef boost::numeric::interval_lib::policies< my_rounded_math<double>, checking_my<double>> coco::my_policies

Definition at line 100 of file interval_boost.h.

typedef bool(* coco::prep_d_evaluator)()

Functions of these types need to be defined for all user defined nodes.

Definition at line 47 of file der_evaluator.h.

typedef bool(* coco::prep_id_evaluator)()

Functions of these types need to be defined for all user defined nodes.

Definition at line 47 of file ider_evaluator.h.

typedef bool(* coco::prep_islp_evaluator)()

Functions of these types need to be defined for all user defined nodes.

Definition at line 58 of file islp_evaluator.h.

typedef interval coco::rhs_t

This type is the allowed type for constraint restrictions.

Definition at line 426 of file expression.h.

typedef std::pair<vdbl::rowid, search_node_id> coco::si_ri_pair

Definition at line 35 of file search_graph_funcs.h.

typedef enum coco::tristate_e coco::tristate

The tristate type is a boolean with the addition of a maybe value

typedef std::vector<std::pair<vdbl::tableid,vdbl::rowid> > coco::trvec

Definition at line 33 of file annotation_delta.cc.

Enumeration Type Documentation

enum coco::activity_descr

This enum describes the activity state known about a constraint and whether it is redundant or not. The meaning of the enum entries is:

a_redundant: The constraint is known to be redundant. There can be two reasons for that. It can be inactive on both sides, or it was constructed, knowing that it would be redundant (e.g. cuts).
a_active_lo: The work_node may contain points, for which this constraint is active at the lower bound but no points, for which the constraint is active at the upper bound.
a_active_hi: The work_node may contain points, for which this constraint is active at the upper bound but no points, for which the constraint is active at the lower bound.
a_active: The work_node may contain points, for which this constraint is active at the upper bound and points, for which the constraint is active at the lower bound.
..._red: A combination with _red means that although the inactivity of the constraint could not be proved, it is still known to be redundant.

Enumerator:

a_redundant
a_active_lo
a_active_lo_red
a_active_hi
a_active_hi_red
a_active
a_active_red

Definition at line 94 of file semantics.h.

enum coco::convex_info

This enum is used to store information about the convexity of a node or an expression.

Enumerator:

c_convex	The expression is convex and not linear
c_linear	The expression is linear
c_concave	The expression is concave and not linear
c_maybe	The convexity type of the expression is unknown or the expression is neither convex nor concave. Bug: It should be possible to specify `c_not` explicitly to identify expressions proven to be `not` convex(concave) and distinguish that from `c_maybe`.

Definition at line 45 of file semantics.h.

enum coco::dbc_method

Enumerator:

dbc_cmp_eq
dbc_cmp_ne
dbc_cmp_gt
dbc_cmp_ge
dbc_cmp_lt
dbc_cmp_le
dbc_cmp_in
dbc_cmp_abseq
dbc_cmp_absne
dbc_cmp_absgt
dbc_cmp_absge
dbc_cmp_abslt
dbc_cmp_absle
dbc_cmp_absin
dbc_sort_min
dbc_sort_max
dbc_sort_absmin
dbc_sort_absmax
dbc_sort_true
dbc_sort_false

Definition at line 64 of file dbcompare.h.

enum coco::e_expression_type

This enum is used for determining the type of the expression in the is method and similar methods and operators

Enumerator:

ex_bound	a variable
ex_linear	linear (but not a single variable)
ex_quadratic	quadratic non-linear
ex_polynomial	non-quadratic polynomial
ex_other	non-polynomial non-linear
ex_kj	only additional vars, constr. from KJ-conditions
ex_org	original vars, constr. (ex_kj, ex_org both set = none set)
ex_redundant	this constraint is known to be redundant
ex_notredundant	this constraint is known to be not redundant
ex_active_lo	this constraint is possible active at the lower bound
ex_inactive_lo	this constraint is inactive at the lower bound
ex_active_hi	this constraint is possible active at the upper bound
ex_inactive_hi	this constraint is inactive at the upper bound
ex_active	this constraint is possible active
ex_inactive	this constraint is inactive
ex_integer	this expression is an integer expression
ex_exists	this variable has an exist-context
ex_forall	this variable has a for-all-context
ex_free	this variable is free
ex_stochastic	this variable is a stochastic variable
ex_convex	this expression is known to be convex
ex_concave	this expression is known to be concave
ex_inequality	this is an inequality constraint
ex_equality	this is an equality constraint
ex_leftbound	this is a constraint with lower bound
ex_rightbound	this is a constraint with upper bound
ex_atmlin	at most linear
ex_atmquad	at most quadratic
ex_atmpoly	at most polynomial
ex_nonlin	non linear
ex_nonbnd	not bounds
ex_any	any
ex_bothbound	this is a two-sided constraint

Definition at line 369 of file expression.h.

enum coco::sp_indexing

Available indexing methods for storing the nonzero positions of sparse matrices full_indexing: the row and column index vectors have the same length and the vectors specify pairs of row and column indices;

row_wise_indexing: the column vector contains the column indices of the nonzeros row-by-row. The number of nonzeros in row i (i=0..r.size()-2) is given by r[i+1]-r[i]; if this number is nonzero, then r[i] contains the index of the column vector, where the non-zero column indices for this row start. Zero rows in the bottom of the matrix does not appear in r; that is, the index i=r.size()-1 is the last nonzero row of the matrix, and r[i] contains the index of the column vector, where the non-zero column indices for this row start.

column_wise_indexing: this is the same as row_wise_indexing, with the roles of the row and column index vectors interchanged.

Enumerator:

full_indexing
row_wise_indexing
column_wise_indexing

Definition at line 54 of file sparsity.h.

enum coco::tristate_e

The tristate type is a boolean with the addition of a maybe value

Enumerator:

t_true
t_false
t_maybe

Definition at line 34 of file coconut_types.h.

enum coco::type_annotation

This enum is used to store information about the type of a node or an expression.

Enumerator:

v_exists	The expression/variable is interpreted in a exists context.
v_forall	The expression/variable is interpreted in a forall context.
v_free	This is valid for variables only, and it defines a free variable.
v_stochastic	This expression is stochastic.

Definition at line 59 of file semantics.h.

Function Documentation

std::ostream& coco::__wr_interval	(	std::ostream &	o,
		const interval &	__i
	)			`[inline]`

This is an internal routine for writing an interval in the .dag format (``-I'' for -COCO_INF and ``I'' for COCO_INF).

Definition at line 279 of file expression.hpp.

template<class I >

projective_interval coco::abs ( const projective_interval & x ) [inline]

Definition at line 880 of file prointerval.hpp.

proj_rational coco::abs ( const proj_rational & r )

Definition at line 120 of file prointerval.h.

interval_set coco::abs ( const interval_set & a )

Definition at line 542 of file interval_set.cc.

interval coco::abs ( const interval & x )

Returns an interval enclosure of the absolute value of the interval x.

double coco::absmin ( const interval & __i ) [inline]

This function returns the element of __i with smallest absolute value.

Definition at line 756 of file interval_boost.h.

template<class I >

projective_interval coco::acos ( const projective_interval & x ) [inline]

Definition at line 871 of file prointerval.hpp.

interval coco::acos ( const interval & x )

Returns an interval enclosure of the inverse cosine of the interval x.

template<class I >

projective_interval coco::acosh ( const projective_interval & x ) [inline]

Definition at line 888 of file prointerval.hpp.

interval coco::acosh ( const interval & x )

Returns an interval enclosure of the inverse hyperbolic cosine of the interval x.

template<class I >

projective_interval coco::acot ( const projective_interval & x ) [inline]

Definition at line 897 of file prointerval.hpp.

interval coco::acot ( const interval & x )

Returns an interval enclosure of the inverse cotangent of the interval x.

template<class I >

projective_interval coco::acoth ( const projective_interval & x ) [inline]

Definition at line 906 of file prointerval.hpp.

interval coco::acoth ( const interval & x )

Returns an interval enclosure of the inverse hyperbolic cotangent of the interval x.

template<class I >

projective_interval coco::asin ( const projective_interval & x ) [inline]

Definition at line 915 of file prointerval.hpp.

interval coco::asin ( const interval & x )

Returns an interval enclosure of the inverse sine of the interval x.

template<class I >

projective_interval coco::asinh ( const projective_interval & x ) [inline]

Definition at line 924 of file prointerval.hpp.

interval coco::asinh ( const interval & x )

Returns an interval enclosure of the inverse hyperbolic sine of the interval x.

template<class I >

projective_interval coco::atan ( const projective_interval & x ) [inline]

Definition at line 933 of file prointerval.hpp.

interval coco::atan ( const interval & x )

Returns an interval enclosure of the inverse tangent of the interval x.

interval_set coco::atan2	(	const interval_set &	a,
		const interval_set &	b
	)

Definition at line 580 of file interval_set.cc.

interval coco::atan2	(	const interval &	y,
		const interval &	x
	)			`[inline]`

This function computes the atan2 function $\operatorname{atan}(y/x)$ for intervals.

Definition at line 749 of file interval_boost.h.

template<class I >

projective_interval coco::atanh ( const projective_interval & x ) [inline]

Definition at line 942 of file prointerval.hpp.

interval coco::atanh ( const interval & x )

Returns an interval enclosure of the inverse hyperbolic tangent of the interval x.

const basic_alltype & coco::basic_alltype_empty ( )

Definition at line 43 of file basic_alltype.cc.

interval coco::cancel	(	const interval &	a,
		const interval &	b
	)

template<class I >

projective_interval coco::cos ( const projective_interval & x ) [inline]

Definition at line 951 of file prointerval.hpp.

interval_set coco::cos ( const interval_set & a )

Definition at line 560 of file interval_set.cc.

interval coco::cos ( const interval & x )

Returns an interval enclosure of the cosine of the interval x.

template<class I >

projective_interval coco::cosh ( const projective_interval & x ) [inline]

Definition at line 960 of file prointerval.hpp.

interval coco::cosh ( const interval & x )

Returns an interval enclosure of the hyperbolic cosine of the interval x.

template<class I >

projective_interval coco::cot ( const projective_interval & x ) [inline]

Definition at line 969 of file prointerval.hpp.

interval coco::cot ( const interval & x )

Returns an interval enclosure of the cotangent of the interval x.

template<class I >

projective_interval coco::coth ( const projective_interval & x ) [inline]

Definition at line 978 of file prointerval.hpp.

interval coco::coth ( const interval & x )

Returns an interval enclosure of the hyperbolic cotangent of the interval x.

std::string coco::datetime ( const struct tm * timeptr )

This function returns the local time as C++ string.

Definition at line 46 of file writer_utils.cc.

template<typename _TR >

_TR coco::dbccmps_abs ( const _TR & x ) [inline]

Definition at line 118 of file dbcompare.hpp.

double coco::diam ( const interval & )

diam(a) == a.diam()

double coco::dist	(	const interval &	x,
		const interval &	y
	)

Same as x.dist(y)

interval_set coco::divide	(	double	a,
		const interval &	b
	)			`[inline]`

Definition at line 425 of file interval_set.h.

interval_set coco::divide	(	const interval &	a,
		double	b
	)			`[inline]`

Definition at line 421 of file interval_set.h.

interval_set coco::divide	(	const interval &	a,
		const interval &	b
	)

Definition at line 452 of file interval_set.cc.

template<class I >

projective_interval<I> coco::division_part1	(	const projective_interval< I > &	x,
		const projective_interval< I > &	y,
		bool &	b
	)			`[inline]`

Definition at line 1152 of file prointerval.hpp.

interval coco::division_part1	(	const interval &	x,
		const interval &	y,
		bool &	b
	)

The division_part? functions return the result of x/y in the following sense, even if the smallest set containing the result is a union of two intervals. For example, the narrowest closed set containg $[2,3]/[-2,1]$ is not $]-\infty,\infty[$ but $]-\infty,-1]\cup[2,\infty[$ . When the result of the division is representable by only one interval, division_part1 returns this interval and sets the boolean reference to false. However, if the result needs two intervals, division_part1 returns the negative part and sets the boolean reference to true; a call to division_part2 is now needed to get the positive part. This second function can take the boolean returned by the first function as last argument. If this bool is not given, its value is assumed to be true, and the behavior of the function is then undetermined if the division does not produce a second interval.

template<class I >

projective_interval<I> coco::division_part2	(	const projective_interval< I > &	x,
		const projective_interval< I > &	y,
		bool	b
	)			`[inline]`

Definition at line 1162 of file prointerval.hpp.

interval coco::division_part2	(	const interval &	x,
		const interval &	y,
		bool	b = `true`
	)

The division_part? functions return the result of x/y in the following sense, even if the smallest set containing the result is a union of two intervals. For example, the narrowest closed set containg $[2,3]/[-2,1]$ is not $]-\infty,\infty[$ but $]-\infty,-1]\cup[2,\infty[$ . When the result of the division is representable by only one interval, division_part1 returns this interval and sets the boolean reference to false. However, if the result needs two intervals, division_part1 returns the negative part and sets the boolean reference to true; a call to division_part2 is now needed to get the positive part. This second function can take the boolean returned by the first function as last argument. If this bool is not given, its value is assumed to be true, and the behavior of the function is then undetermined if the division does not produce a second interval.

double coco::downward_divides	(	const double &	a,
		const double &	b
	)

This function divides a by b, rounding downwards.

double coco::downward_minus	(	const double &	a,
		const double &	b
	)

This function subtracts b from a, rounding downwards.

double coco::downward_multiplies	(	const double &	a,
		const double &	b
	)

This function multiplies a by b, rounding downwards.

double coco::downward_plus	(	const double &	a,
		const double &	b
	)

This function adds a and b, rounding downwards.

std::string coco::e2D ( double d )

This function converts a double number to a double precision Fortran representation in a C++ string.

Definition at line 78 of file writer_utils.cc.

bool coco::eval	(	const vdbl::rowid &	rid,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		const basic_alltype &	cmpval
	)

Definition at line 312 of file dbcompare.cc.

template<typename _TR >

bool coco::eval_in	(	const vdbl::rowid &	rid,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		_TR	,
		const basic_alltype &	I
	)			`[inline]`

Definition at line 39 of file dbcompare.cc.

template<>

bool coco::eval_in< interval >	(	const vdbl::rowid &	rid,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		interval	,
		const basic_alltype &	I
	)			`[inline]`

template<>

bool coco::eval_in< std::string >	(	const vdbl::rowid &	rid,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		std::string	,
		const basic_alltype &	I
	)			`[inline]`

template<typename _TR >

bool coco::eval_s	(	const vdbl::rowid &	rid,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		_TR	cmpval
	)			`[inline]`

Definition at line 127 of file dbcompare.cc.

template<>

bool coco::eval_s< interval >	(	const vdbl::rowid &	rid,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		interval	cmpval
	)			`[inline]`

template<typename _TR >

bool coco::eval_u	(	const vdbl::rowid &	rid,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		_TR	cmpval
	)			`[inline]`

Definition at line 263 of file dbcompare.cc.

template<class I >

projective_interval coco::exp ( const projective_interval & x ) [inline]

Definition at line 987 of file prointerval.hpp.

interval_set coco::exp ( const interval_set & a )

Definition at line 524 of file interval_set.cc.

interval coco::exp ( const interval & x )

Returns an interval enclosure of the exponential of the interval x.

template<class I >

projective_interval coco::exp10 ( const projective_interval & x ) [inline]

Definition at line 996 of file prointerval.hpp.

interval coco::exp10 ( const interval & x )

Returns an interval enclosure of the exponential (base 10) of the interval x.

template<class I >

projective_interval coco::exp2 ( const projective_interval & x ) [inline]

Definition at line 1005 of file prointerval.hpp.

interval coco::exp2 ( const interval & x )

Returns an interval enclosure of the exponential (base 2) of the interval x.

template<class I >

projective_interval coco::expm1 ( const projective_interval & x ) [inline]

Definition at line 1014 of file prointerval.hpp.

interval coco::expm1 ( const interval & x )

Returns an interval enclosure of exp(x)-1

template<typename _AT >

std::vector<std::pair<vdbl::rowid,_AT> >::iterator coco::filter	(	typename std::vector< std::pair< vdbl::rowid, _AT > > &	rid,
		typename std::vector< std::pair< vdbl::rowid, _AT > >::iterator	rid_b,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		unsigned int	n,
		std::pair< double, double >	rel_abs
	)			`[inline]`

Definition at line 403 of file dbcompare.hpp.

template<typename _AT >

void coco::filter_from_view	(	typename std::vector< std::pair< vdbl::rowid, _AT > > &	riv,
		vdbl::view *	iv,
		const std::map< int, std::triple< std::string, dbc_method, basic_alltype > > &	cols,
		const std::vector< std::vector< int > > &	expr
	)			`[inline]`

Definition at line 41 of file dbcompare.hpp.

template<typename _TR , typename _AT >

std::vector<std::pair<vdbl::rowid,_AT> >::iterator coco::filter_s	(	typename std::vector< std::pair< vdbl::rowid, _AT > > &	rid,
		typename std::vector< std::pair< vdbl::rowid, _AT > >::iterator	rid_b,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		unsigned int	n,
		_TR	,
		double	rel,
		double	abs
	)			`[inline]`

Definition at line 239 of file dbcompare.hpp.

template<typename _TR , typename _AT >

std::vector<std::pair<vdbl::rowid,_AT> >::iterator coco::filter_u	(	typename std::vector< std::pair< vdbl::rowid, _AT > > &	rid,
		typename std::vector< std::pair< vdbl::rowid, _AT > >::iterator	rid_b,
		const std::string &	colname,
		dbc_method	tp,
		vdbl::view *	iv,
		unsigned int	n,
		_TR
	)			`[inline]`

Definition at line 326 of file dbcompare.hpp.

double coco::gainfactor	(	const interval &	_old,
		const interval &	_new
	)			`[inline]`

The call gainfactor(o,n) computes a safeguarded quotient of the widths of @ o and @ n under the assumption that n is a subset of o.

Definition at line 771 of file interval_boost.h.

interval coco::gauss ( const interval & x ) [inline]

This function computes the gaussian function $e^{-x^2}$ for intervals.

Definition at line 742 of file interval_boost.h.

bool coco::get_children_vector	(	const search_graph &	__sgraph,
		const search_node_id &	pid,
		std::vector< si_ri_pair > &	v,
		search_inspector *	sfoc
	)

Definition at line 58 of file search_graph_funcs.cc.

void coco::get_ids	(	const std::vector< si_ri_pair > &	riv,
		std::vector< search_node_id > &	v
	)

Definition at line 33 of file search_graph_funcs.cc.

termination_reason coco::get_locopt_termr_from_rval	(	const locopt_ret &	ret_info,
		const std::string &	iename,
		const int	srval
	)

Definition at line 49 of file locopt_ret.cc.

double coco::get_locopt_weight_from_rval	(	const locopt_ret &	ret_info,
		const std::string &	iename,
		const int	srval
	)

Definition at line 34 of file locopt_ret.cc.

tableid coco::get_point_table	(	database *	ptr,
		standard_table *&	ptb,
		userid	_uid
	)

Definition at line 41 of file dbtables.cc.

void coco::hess_star_color1	(	const unsigned int	n,
		const linalg::matrix< int > &	H,
		std::vector< std::vector< unsigned int > > &	parts,
		std::vector< linalg::sparse_vector< unsigned int > > &	provides
	)

Definition at line 35 of file hess_color.cc.

interval coco::hull	(	const interval &	__x,
		const interval &	__y
	)			`[inline]`

Definition at line 899 of file interval_filib.h.

interval coco::hulldiff	(	const interval &	__x,
		const interval &	__y
	)			`[inline]`

Definition at line 905 of file interval_filib.h.

std::string coco::i2a ( int x )

This function converts integers to a C++ string.

Definition at line 37 of file writer_utils.cc.

template<class I >

projective_interval<I> coco::imax	(	const projective_interval< I > &	x,
		const projective_interval< I > &	y
	)			`[inline]`

Definition at line 1134 of file prointerval.hpp.

interval_set coco::imax	(	const interval_set &	a,
		const interval_set &	b
	)

Definition at line 485 of file interval_set.cc.

interval coco::imax	(	const interval &	x,
		const interval &	y
	)

Returns an interval enclosure of the maximum of two intervals x and y.

template<class I >

projective_interval<I> coco::imin	(	const projective_interval< I > &	x,
		const projective_interval< I > &	y
	)			`[inline]`

Definition at line 1143 of file prointerval.hpp.

interval_set coco::imin	(	const interval_set &	a,
		const interval_set &	b
	)

Definition at line 474 of file interval_set.cc.

interval coco::imin	(	const interval &	x,
		const interval &	y
	)

Returns an interval enclosure of the minimum of two intervals x and y.

interval coco::intersect	(	const interval &	__x,
		const interval &	__y
	)			`[inline]`

Definition at line 893 of file interval_filib.h.

interval coco::ipow	(	const interval &	x,
		int	n
	)			`[inline]`

This function computes the integer power operation $ x^n $ for intervals.

Definition at line 735 of file interval_boost.h.

template<typename _AT >

void coco::list_from_view	(	typename std::vector< std::pair< vdbl::rowid, _AT > > &	riv,
		vdbl::view *	iv,
		const std::map< int, std::triple< std::string, dbc_method, basic_alltype > > &	cols,
		const std::vector< int > &	sort,
		unsigned int	n = `1`
	)			`[inline]`

Definition at line 441 of file dbcompare.hpp.

std::string coco::localdatetime ( )

This function converts a date/time structure to a C++ string.

Definition at line 68 of file writer_utils.cc.

template<class I >

projective_interval coco::log ( const projective_interval & x ) [inline]

Definition at line 1023 of file prointerval.hpp.

interval_set coco::log ( const interval_set & a )

Definition at line 533 of file interval_set.cc.

interval coco::log ( const interval & x )

Returns an interval enclosure of the natural logarithm of the interval x.

template<class I >

projective_interval coco::log10 ( const projective_interval & x ) [inline]

Definition at line 1032 of file prointerval.hpp.

interval coco::log10 ( const interval & x )

Returns an interval enclosure of the logarithm (base 10) of the interval x.

template<class I >

projective_interval coco::log1p ( const projective_interval & x ) [inline]

Definition at line 1041 of file prointerval.hpp.

interval coco::log1p ( const interval & x )

Returns an interval enclosure of log(1+x).

template<class I >

projective_interval coco::log2 ( const projective_interval & x ) [inline]

Definition at line 1050 of file prointerval.hpp.

interval coco::log2 ( const interval & x )

Returns an interval enclosure of the logarithm (base 2) of the interval x.

double coco::mag ( const interval & )

mag(a) == a.mag()

double coco::mid ( const interval & )

mid(a) == a.mid()

double coco::mig ( const interval & )

mig(a) == a.mig()

bool coco::operator!=	(	int	n,
		const proj_rational &	R
	)

Definition at line 119 of file prointerval.h.

bool coco::operator!=	(	const interval &	a,
		double	b
	)			`[inline]`

Definition at line 492 of file interval_boost.h.

bool coco::operator!=	(	const interval &	__i,
		const interval &	__d
	)			`[inline]`

Comparison operator (not equal)

Definition at line 490 of file interval_boost.h.

template<class _TC >

bool coco::operator!=	(	const interval &	__i,
		const _TC &	__d
	)			`[inline]`

Comparison operator (not equal)

Definition at line 794 of file interval_boost.h.

template<class I >

projective_interval<I> coco::operator*	(	double	b,
		const projective_interval< I > &	a
	)			`[inline]`

Definition at line 837 of file prointerval.hpp.

template<class I >

projective_interval<I> coco::operator*	(	const projective_interval< I > &	a,
		double	b
	)			`[inline]`

Definition at line 829 of file prointerval.hpp.

template<class I >

projective_interval<I> coco::operator*	(	const projective_interval< I > &	a,
		const projective_interval< I > &	b
	)			`[inline]`

Definition at line 819 of file prointerval.hpp.

interval_set coco::operator*	(	double	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 412 of file interval_set.h.

interval_set coco::operator*	(	const interval_set &	a,
		double	b
	)			`[inline]`

Definition at line 405 of file interval_set.h.

interval_set coco::operator*	(	const interval &	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 398 of file interval_set.h.

interval_set coco::operator*	(	const interval_set &	a,
		const interval &	b
	)			`[inline]`

Definition at line 391 of file interval_set.h.

interval_set coco::operator*	(	const interval_set &	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 383 of file interval_set.h.

interval coco::operator*	(	double	b,
		const interval &	a
	)

This operator computes a*b as interval.

interval coco::operator*	(	const interval &	a,
		double	b
	)

This operator computes a*b as interval.

interval coco::operator*	(	const interval &	a,
		const interval &	b
	)

This operator computes a*b as interval.

template<template< class _Tp, class _TA > class _Ctr, class _Al >

work_node coco::operator+	(	const work_node &	_w,
		const _Ctr< delta_id, _Al > &	_d
	)			`[inline]`

This function adds all the deltas whose delta_ids are in the linear container _d to work_node _w and returns a new work_node having all these deltas applied.

Definition at line 324 of file search_node.hpp.

work_node coco::operator+	(	const work_node &	_w,
		const delta_id &	_i
	)			`[inline]`

This function adds the delta with delta_id _i to work_node _w and returns a new work_node having the delta applied.

Definition at line 297 of file search_node.hpp.

template<class I >

projective_interval<I> coco::operator+	(	double	b,
		const projective_interval< I > &	a
	)			`[inline]`

Definition at line 742 of file prointerval.hpp.

template<class I >

projective_interval<I> coco::operator+	(	const projective_interval< I > &	a,
		double	b
	)			`[inline]`

Definition at line 723 of file prointerval.hpp.

template<class I >

projective_interval<I> coco::operator+	(	const projective_interval< I > &	a,
		const projective_interval< I > &	b
	)			`[inline]`

Definition at line 703 of file prointerval.hpp.

interval_set coco::operator+	(	double	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 333 of file interval_set.h.

interval_set coco::operator+	(	const interval_set &	a,
		double	b
	)			`[inline]`

Definition at line 326 of file interval_set.h.

interval_set coco::operator+	(	const interval &	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 319 of file interval_set.h.

interval_set coco::operator+	(	const interval_set &	a,
		const interval &	b
	)			`[inline]`

Definition at line 312 of file interval_set.h.

interval_set coco::operator+	(	const interval_set &	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 304 of file interval_set.h.

interval coco::operator+	(	double	b,
		const interval &	a
	)

This operator computes a+b as interval.

interval coco::operator+	(	const interval &	a,
		double	b
	)

This operator computes a+b as interval.

interval coco::operator+	(	const interval &	a,
		const interval &	b
	)

This operator computes a+b as interval.

template<template< class _Tp, class _TA > class _Ctr, class _Al >

work_node& coco::operator+=	(	work_node &	_w,
		const _Ctr< delta_id, _Al > &	_d
	)			`[inline]`

This function adds the deltas whose delta_ids are in the linear container _d to work_node _w changing it in that process. The function returns _w.

Definition at line 340 of file search_node.hpp.

work_node& coco::operator+=	(	work_node &	_w,
		const delta_id &	_i
	)			`[inline]`

This function adds the delta with delta_id _i to work_node _w changing it in that process. The function returns _w.

Definition at line 310 of file search_node.hpp.

template<template< class _Tp, class _TA > class _Ctr, class _Al >

work_node coco::operator-	(	const work_node &	_w,
		const _Ctr< delta_id, _Al > &	_d
	)			`[inline]`

This function removes all the deltas whose delta_ids are in the linear container _d from work_node _w and returns a new work_node having all these deltas unapplied.

Definition at line 364 of file search_node.hpp.

work_node coco::operator-	(	const work_node &	_w,
		const delta_id &	_d
	)

This function removes the delta with delta_id _i from work_node _w and returns a new work_node having the delta unapplied.

Definition at line 35 of file search_node.cc.

template<class I >

projective_interval<I> coco::operator-	(	double	b,
		const projective_interval< I > &	a
	)			`[inline]`

Definition at line 800 of file prointerval.hpp.

template<class I >

projective_interval<I> coco::operator-	(	const projective_interval< I > &	a,
		double	b
	)			`[inline]`

Definition at line 781 of file prointerval.hpp.

template<class I >

projective_interval<I> coco::operator-	(	const projective_interval< I > &	a,
		const projective_interval< I > &	b
	)			`[inline]`

Definition at line 761 of file prointerval.hpp.

interval_set coco::operator- ( const interval_set & a ) [inline]

Definition at line 377 of file interval_set.h.

interval_set coco::operator-	(	double	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 370 of file interval_set.h.

interval_set coco::operator-	(	const interval_set &	a,
		double	b
	)			`[inline]`

Definition at line 363 of file interval_set.h.

interval_set coco::operator-	(	const interval &	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 356 of file interval_set.h.

interval_set coco::operator-	(	const interval_set &	a,
		const interval &	b
	)			`[inline]`

Definition at line 349 of file interval_set.h.

interval_set coco::operator-	(	const interval_set &	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 341 of file interval_set.h.

interval coco::operator-	(	double	b,
		const interval &	a
	)

This operator computes a-b as interval.

interval coco::operator-	(	const interval &	a,
		double	b
	)

This operator computes a-b as interval.

interval coco::operator-	(	const interval &	a,
		const interval &	b
	)

This operator computes a-b as interval.

template<template< class _Tp, class _TA > class _Ctr, class _Al >

work_node& coco::operator-=	(	work_node &	_w,
		const _Ctr< delta_id, _Al > &	_d
	)			`[inline]`

This function removes (unapplies) the deltas whose delta_ids are in the linear container _d from work_node _w changing it in that process. The function returns _w.

Definition at line 382 of file search_node.hpp.

work_node & coco::operator-=	(	work_node &	_w,
		const delta_id &	_d
	)

This function removes (unapplies) the delta with delta_id _i from work_node _w changing it in that process. The function returns _w.

Definition at line 76 of file search_node.cc.

template<class I >

projective_interval<I> coco::operator/	(	double	b,
		const projective_interval< I > &	a
	)			`[inline]`

Definition at line 863 of file prointerval.hpp.

template<class I >

projective_interval<I> coco::operator/	(	const projective_interval< I > &	a,
		double	b
	)			`[inline]`

Definition at line 855 of file prointerval.hpp.

template<class I >

projective_interval<I> coco::operator/	(	const projective_interval< I > &	a,
		const projective_interval< I > &	b
	)			`[inline]`

Definition at line 845 of file prointerval.hpp.

interval_set coco::operator/	(	double	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 459 of file interval_set.h.

interval_set coco::operator/	(	const interval_set &	a,
		double	b
	)			`[inline]`

Definition at line 452 of file interval_set.h.

interval_set coco::operator/	(	const interval &	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 445 of file interval_set.h.

interval_set coco::operator/	(	const interval_set &	a,
		const interval &	b
	)			`[inline]`

Definition at line 438 of file interval_set.h.

interval_set coco::operator/	(	const interval_set &	a,
		const interval_set &	b
	)			`[inline]`

Definition at line 430 of file interval_set.h.

interval coco::operator/	(	double	b,
		const interval &	a
	)

This operator computes a/b as interval.

interval coco::operator/	(	const interval &	a,
		double	b
	)

This operator computes a/b as interval.

interval coco::operator/	(	const interval &	a,
		const interval &	b
	)

This operator computes a/b as interval.

bool coco::operator<	(	int	n,
		const proj_rational &	R
	)

Definition at line 114 of file prointerval.h.

bool coco::operator<	(	double	a,
		const interval &	b
	)			`[inline]`

This comparison operator returns the "sure less than interval relation", i.e. it is true iff T.sgt(X) == T.inf() > X.inf() && T.sup() > X.sup().

Definition at line 496 of file interval_boost.h.

bool coco::operator<	(	const interval &	a,
		double	b
	)			`[inline]`

This comparison operator returns the "sure less than interval relation", i.e. it is true iff T.sgt(X) == T.inf() > X.inf() && T.sup() > X.sup().

Definition at line 495 of file interval_boost.h.

bool coco::operator<	(	const interval &	a,
		const interval &	b
	)			`[inline]`

This comparison operator returns the "sure less than interval relation", i.e. it is true iff T.sgt(X) == T.inf() > X.inf() && T.sup() > X.sup().

Definition at line 494 of file interval_boost.h.

std::ostream & coco::operator<<	(	std::ostream &	s,
		const interval &	a
	)			`[inline]`

Definition at line 963 of file interval_filib.h.

std::ostream& coco::operator<<	(	std::ostream &	o,
		const expression_node &	__x
	)

Definition at line 207 of file expression.cc.

std::ostream & coco::operator<<	(	std::ostream &	os,
		const basic_alltype &	b
	)

Definition at line 49 of file basic_alltype.cc.

bool coco::operator<=	(	int	n,
		const proj_rational &	R
	)

Definition at line 115 of file prointerval.h.

bool coco::operator==	(	int	n,
		const proj_rational &	R
	)

Definition at line 118 of file prointerval.h.

bool coco::operator==	(	const interval_set &	a,
		const interval_set &	b
	)

Definition at line 463 of file interval_set.cc.

bool coco::operator==	(	const interval &	a,
		double	b
	)			`[inline]`

Definition at line 488 of file interval_boost.h.

bool coco::operator==	(	const interval &	__i,
		const interval &	__d
	)			`[inline]`

Comparison operator (equal)

Definition at line 486 of file interval_boost.h.

template<class _TC >

bool coco::operator==	(	const interval &	__i,
		const _TC &	__d
	)			`[inline]`

Comparison operator (equal)

Definition at line 786 of file interval_boost.h.

bool coco::operator>	(	int	n,
		const proj_rational &	R
	)

Definition at line 116 of file prointerval.h.

bool coco::operator>=	(	int	n,
		const proj_rational &	R
	)

Definition at line 117 of file prointerval.h.

void coco::parse_dbcompare_expression	(	const std::string &	s,
		std::map< int, std::triple< std::string, dbc_method, basic_alltype > > &	cols,
		std::vector< std::vector< int > > &	expr
	)

Definition at line 386 of file dbcompare.cc.

void coco::parse_dbcompare_sortorder	(	const std::string &	s,
		std::map< int, std::triple< std::string, dbc_method, basic_alltype > > &	cols,
		std::vector< int > &	order
	)

Definition at line 399 of file dbcompare.cc.

template<class I >

projective_interval<I> coco::pow	(	const projective_interval< I > &	x,
		const projective_interval< I > &	y
	)			`[inline]`

Definition at line 1068 of file prointerval.hpp.

interval_set coco::pow	(	const interval_set &	a,
		const interval_set &	b
	)

Definition at line 569 of file interval_set.cc.

interval coco::pow	(	const interval &	x,
		const interval &	y
	)

Returns an interval enclosure of x^y = exp(y*log(x)).

template<class I >

projective_interval<I> coco::power	(	const projective_interval< I > &	x,
		int	n
	)			`[inline]`

Definition at line 1059 of file prointerval.hpp.

interval_set coco::power	(	const interval_set &	a,
		int	n
	)

Definition at line 496 of file interval_set.cc.

interval coco::power	(	const interval &	x,
		int	n
	)

Returns an interval enclosure of x^n.

double coco::r_random_h_eval	(	double	t,
		double	b,
		double	a
	)			`[inline]`

Definition at line 123 of file coconut_random.h.

double coco::r_random_hinv_eval	(	double	x,
		double	b,
		double	a
	)			`[inline]`

Definition at line 136 of file coconut_random.h.

double coco::rad ( const interval & )

rad(a) == a.rad()

double coco::relDiam ( const interval & )

relDiam(a) == a.relDiam()

interval_set coco::round_to_integer ( const interval_set & a )

This function rounds the interval inward to integer borders.

Definition at line 592 of file interval_set.cc.

interval coco::round_to_integer ( const interval & x )

This function rounds the interval inward to integer borders.

double coco::safeguarded_mid ( const interval & __i ) [inline]

This function computes the safeguarded midpoint of __i.

Definition at line 464 of file interval_boost.h.

template<class I >

projective_interval coco::sin ( const projective_interval & x ) [inline]

Definition at line 1080 of file prointerval.hpp.

interval_set coco::sin ( const interval_set & a )

Definition at line 551 of file interval_set.cc.

interval coco::sin ( const interval & x )

Returns an interval enclosure of the sine of the interval x.

template<class I >

projective_interval coco::sinh ( const projective_interval & x ) [inline]

Definition at line 1089 of file prointerval.hpp.

interval coco::sinh ( const interval & x )

Returns an interval enclosure of the hyperbolic sine of the interval x.

void coco::sparsity	(	const model &	DAG,
		unsigned int &	nnz_H,
		unsigned int *&	H_ridx,
		unsigned int *&	H_cidx,
		bool	org_only,
		bool	H_upper_only,
		sp_indexing	indexing,
		bool	fun_one_based,
		bool	var_one_based
	)

Definition at line 705 of file sparsity.cc.

template<class I >

projective_interval coco::sqr ( const projective_interval & x ) [inline]

Definition at line 1098 of file prointerval.hpp.

interval_set coco::sqr ( const interval_set & a )

Definition at line 506 of file interval_set.cc.

interval coco::sqr ( const interval & x )

Returns an interval enclosure of x^2.

template<class I >

projective_interval coco::sqrt ( const projective_interval & x ) [inline]

Definition at line 1107 of file prointerval.hpp.

interval_set coco::sqrt ( const interval_set & a )

Definition at line 515 of file interval_set.cc.

interval coco::sqrt ( const interval & x )

Returns an interval enclosure of the square root of the interval x.

std::vector<std::vector<void *> > coco::standard_evaluators ( NUM_EVALUATORS )

This variables contains pointers to all standard evaluation routines for user defined nodes.

template<class I >

projective_interval coco::tan ( const projective_interval & x ) [inline]

Definition at line 1116 of file prointerval.hpp.

interval coco::tan ( const interval & x )

Returns an interval enclosure of the tangent of the interval x.

template<class I >

projective_interval coco::tanh ( const projective_interval & x ) [inline]

Definition at line 1125 of file prointerval.hpp.

interval coco::tanh ( const interval & x )

Returns an interval enclosure of the hyperbolic tangent of the interval x.

double coco::upward_divides	(	const double &	a,
		const double &	b
	)

This function divides a by b, rounding upwards.

double coco::upward_minus	(	const double &	a,
		const double &	b
	)

This function subtracts b from a, rounding upwards.

double coco::upward_multiplies	(	const double &	a,
		const double &	b
	)

This function multiplies a by b, rounding upwards.

double coco::upward_plus	(	const double &	a,
		const double &	b
	)

This function adds a and b, rounding upwards.

double coco::width ( const interval_set & a )

Definition at line 449 of file interval_set.cc.

double coco::width ( const interval & )

Variable Documentation

unsigned int coco::child_n

children counter

Definition at line 1001 of file der_evaluator_n.h.

std::vector<der_cache>* coco::d_data

derivative cache

Definition at line 996 of file der_evaluator_n.h.

std::vector<double>* coco::grad_vec

the gradient vector

Definition at line 997 of file der_evaluator_n.h.

const model* coco::mod

the DAG

Definition at line 998 of file der_evaluator_n.h.

double coco::mult

the current value on the path

Definition at line 999 of file der_evaluator_n.h.

double coco::mult_trans

transfer variable for mult

Definition at line 1000 of file der_evaluator_n.h.

std::vector<std::vector<void *> > coco::standard_evaluators