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< ipairsplist
 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_alltypebasic_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< Ioperator+ (const projective_interval< I > &a, const projective_interval< I > &b)
template<class I >
projective_interval< Ioperator+ (const projective_interval< I > &a, double b)
template<class I >
projective_interval< Ioperator+ (double b, const projective_interval< I > &a)
template<class I >
projective_interval< Ioperator- (const projective_interval< I > &a, const projective_interval< I > &b)
template<class I >
projective_interval< Ioperator- (const projective_interval< I > &a, double b)
template<class I >
projective_interval< Ioperator- (double b, const projective_interval< I > &a)
template<class I >
projective_interval< Ioperator* (const projective_interval< I > &a, const projective_interval< I > &b)
template<class I >
projective_interval< Ioperator* (const projective_interval< I > &a, double b)
template<class I >
projective_interval< Ioperator* (double b, const projective_interval< I > &a)
template<class I >
projective_interval< Ioperator/ (const projective_interval< I > &a, const projective_interval< I > &b)
template<class I >
projective_interval< Ioperator/ (const projective_interval< I > &a, double b)
template<class I >
projective_interval< Ioperator/ (double b, const projective_interval< I > &a)
template<class I >
projective_interval< Iacos (const projective_interval< I > &x)
template<class I >
projective_interval< Iabs (const projective_interval< I > &x)
template<class I >
projective_interval< Iacosh (const projective_interval< I > &x)
template<class I >
projective_interval< Iacot (const projective_interval< I > &x)
template<class I >
projective_interval< Iacoth (const projective_interval< I > &x)
template<class I >
projective_interval< Iasin (const projective_interval< I > &x)
template<class I >
projective_interval< Iasinh (const projective_interval< I > &x)
template<class I >
projective_interval< Iatan (const projective_interval< I > &x)
template<class I >
projective_interval< Iatanh (const projective_interval< I > &x)
template<class I >
projective_interval< Icos (const projective_interval< I > &x)
template<class I >
projective_interval< Icosh (const projective_interval< I > &x)
template<class I >
projective_interval< Icot (const projective_interval< I > &x)
template<class I >
projective_interval< Icoth (const projective_interval< I > &x)
template<class I >
projective_interval< Iexp (const projective_interval< I > &x)
template<class I >
projective_interval< Iexp10 (const projective_interval< I > &x)
template<class I >
projective_interval< Iexp2 (const projective_interval< I > &x)
template<class I >
projective_interval< Iexpm1 (const projective_interval< I > &x)
template<class I >
projective_interval< Ilog (const projective_interval< I > &x)
template<class I >
projective_interval< Ilog10 (const projective_interval< I > &x)
template<class I >
projective_interval< Ilog1p (const projective_interval< I > &x)
template<class I >
projective_interval< Ilog2 (const projective_interval< I > &x)
template<class I >
projective_interval< Ipower (const projective_interval< I > &x, int n)
template<class I >
projective_interval< Ipow (const projective_interval< I > &x, const projective_interval< I > &y)
template<class I >
projective_interval< Isin (const projective_interval< I > &x)
template<class I >
projective_interval< Isinh (const projective_interval< I > &x)
template<class I >
projective_interval< Isqr (const projective_interval< I > &x)
template<class I >
projective_interval< Isqrt (const projective_interval< I > &x)
template<class I >
projective_interval< Itan (const projective_interval< I > &x)
template<class I >
projective_interval< Itanh (const projective_interval< I > &x)
template<class I >
projective_interval< Iimax (const projective_interval< I > &x, const projective_interval< I > &y)
template<class I >
projective_interval< Iimin (const projective_interval< I > &x, const projective_interval< I > &y)
template<class I >
projective_interval< Idivision_part1 (const projective_interval< I > &x, const projective_interval< I > &y, bool &b)
template<class I >
projective_interval< Idivision_part2 (const projective_interval< I > &x, const projective_interval< I > &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_nodeoperator-= (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_nodeoperator+= (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_nodeoperator+= (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_nodeoperator-= (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_cachef_data
 Cache data for der_eval.
std::vector< der_cache > * d_data
std::vector< double > * grad_vec
const modelmod
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.

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.

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

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.

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.

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.

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.

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.

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.

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<I> coco::abs ( const projective_interval< I > &  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<I> coco::acos ( const projective_interval< I > &  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<I> coco::acosh ( const projective_interval< I > &  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<I> coco::acot ( const projective_interval< I > &  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<I> coco::acoth ( const projective_interval< I > &  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<I> coco::asin ( const projective_interval< I > &  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<I> coco::asinh ( const projective_interval< I > &  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<I> coco::atan ( const projective_interval< I > &  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<I> coco::atanh ( const projective_interval< I > &  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<I> coco::cos ( const projective_interval< I > &  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<I> coco::cosh ( const projective_interval< I > &  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<I> coco::cot ( const projective_interval< I > &  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<I> coco::coth ( const projective_interval< I > &  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<I> coco::exp ( const projective_interval< I > &  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<I> coco::exp10 ( const projective_interval< I > &  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<I> coco::exp2 ( const projective_interval< I > &  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<I> coco::expm1 ( const projective_interval< I > &  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<I> coco::log ( const projective_interval< I > &  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<I> coco::log10 ( const projective_interval< I > &  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<I> coco::log1p ( const projective_interval< I > &  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<I> coco::log2 ( const projective_interval< I > &  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<I> coco::sin ( const projective_interval< I > &  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<I> coco::sinh ( const projective_interval< I > &  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<I> coco::sqr ( const projective_interval< I > &  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<I> coco::sqrt ( const projective_interval< I > &  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<I> coco::tan ( const projective_interval< I > &  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<I> coco::tanh ( const projective_interval< I > &  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.

transfer variable for mult

Definition at line 1000 of file der_evaluator_n.h.

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


Generated on Tue Feb 9 14:47:37 2010 for COCONUT API by  doxygen 1.5.8