All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
pub_misc.h
Go to the documentation of this file. 28 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
33 /* on SunOS, the function finite(a) (for the SCIPisFinite macro below) is declared in ieeefp.h */
46 /* in optimized mode some of the function are handled via defines, for that the structs are needed */
64 /** get critical value of a Student-T distribution for a given number of degrees of freedom at a confidence level */
71 /** compute a t-value for the hypothesis that x and y are from the same population; Assuming that
99 /** calculates the cumulative distribution P(-infinity <= x <= value) that a normally distributed
116 * For a detailed format decription see http://docs.yworks.com/yfiles/doc/developers-guide/gml.html
205 SCIP_VAR** vars, /**< variables in the sparse solution, must not contain continuous variables */
240 /** constructs the first solution of sparse solution (all variables are set to their lower bound value */
248 /** constructs the next solution of the sparse solution and return whether there was one more or not */
269 /** creates a (circular) queue, best used if the size will be fixed or will not be increased that much */
378 /** returns the elements of the queue; changing the returned array may destroy the queue's ordering! */
396 /** returns a reasonable hash table size (a prime number) that is at least as large as the specified value */
422 * @note From a performance point of view you should not fill and clear a hash table too often since the clearing can
423 * be expensive. Clearing is done by looping over all buckets and removing the hash table lists one-by-one.
434 * @note A pointer to a hashtablelist returned by SCIPhashtableRetrieveNext() might get invalid when adding an element
443 /** inserts element in hash table (multiple insertion of same element is checked and results in an error)
445 * @note A pointer to a hashtablelist returned by SCIPhashtableRetrieveNext() might get invalid when adding a new
464 * @note The returned hashtablelist pointer might get invalid when adding a new element to the hash table.
469 SCIP_HASHTABLELIST** hashtablelist, /**< input: entry in hash table list from which to start searching, or NULL
491 * @note From a performance point of view you should not fill and clear a hash table too often since the clearing can
492 * be expensive. Clearing is done by looping over all buckets and removing the hash table lists one-by-one.
564 /** inserts new origin->image pair in hash map (must not be called for already existing origins!) */
579 /** sets image for given origin in the hash map, either by modifying existing origin->image pair or by appending a
799 /** returns if the given time point exists in the resource profile and stores the position of the given time point if it
809 /** insert a core into resource profile; if the core is non-empty the resource profile will be updated otherwise nothing
831 /** return the earliest possible starting point within the time interval [lb,ub] for a given core (given by its height
844 /** return the latest possible starting point within the time interval [lb,ub] for a given core (given by its height and
892 /** sets the sizes of the successor lists for the nodes in a directed graph and allocates memory for the lists */
972 /** returns the array of indices of the successor nodes; this array must not be changed from outside */
979 /** returns the array of data corresponding to the arcs originating at the given node, or NULL if no data exist; this
990 * @note For each arc, its reverse is added, so the graph does not need to be the directed representation of an
1005 /** Computes all strongly connected components of an undirected connected component with Tarjan's Algorithm.
1006 * The resulting strongly connected components are sorted topologically (starting from the end of the
1023 /** Performes an (almost) topological sort on the undirected components of the given directed graph. The undirected
1026 * @note In general a topological sort is not unique. Note, that there might be directed cycles, that are randomly
1034 /** returns the number of previously computed undirected components for the given directed graph */
1040 /** Returns the previously computed undirected component of the given number for the given directed graph.
1041 * If the components were sorted using SCIPdigraphTopoSortComponents(), the component is (almost) topologically sorted.
1167 /* In optimized mode, the function calls are overwritten by defines to reduce the number of function calls and
1179 #define SCIPbtnodeIsLeftchild(node) ((node)->parent == NULL ? FALSE : (node)->parent->left == (node) ? TRUE : FALSE)
1180 #define SCIPbtnodeIsRightchild(node) ((node)->parent == NULL ? FALSE : (node)->parent->right == (node) ? TRUE : FALSE)
1233 * @note The user pointers (object) of the search nodes are not freed. If needed, it has to be done by the user.
1261 /* In optimized mode, the function calls are overwritten by defines to reduce the number of function calls and
1299 /** sort an indexed element set in non-decreasing order, resulting in a permutation index array */
1325 /** sort of two joint arrays of pointers/pointers, sorted by first array in non-decreasing order */
1334 /** sort of two joint arrays of pointers/Reals, sorted by first array in non-decreasing order */
1343 /** sort of two joint arrays of pointers/ints, sorted by first array in non-decreasing order */
1352 /** sort of two joint arrays of pointers/Bools, sorted by first array in non-decreasing order */
1362 /** sort of three joint arrays of pointers/ints/ints, sorted by first array in non-decreasing order */
1372 /** sort of three joint arrays of pointers/Reals/ints, sorted by first array in non-decreasing order */
1382 /** sort of three joint arrays of pointers/Reals/Bools, sorted by first array in non-decreasing order */
1392 /** sort of three joint arrays of pointers/Reals/Reals, sorted by first array in non-decreasing order */
1402 /** sort of three joint arrays of pointers/pointers/ints, sorted by first array in non-decreasing order */
1412 /** sort of three joint arrays of pointers/pointers/Reals, sorted by first array in non-decreasing order */
1422 /** sort of four joint arrays of pointers/pointers/ints/ints, sorted by first array in non-decreasing order */
1433 /** sort of four joint arrays of pointers/Reals/ints/ints, sorted by first array in non-decreasing order */
1444 /** sort of four joint arrays of pointer/pointer/Reals/ints, sorted by first array in non-decreasing order */
1455 /** sort of four joint arrays of pointer/pointer/Reals/Bools, sorted by first array in non-decreasing order */
1466 /** sort of four joint arrays of pointer/pointer/Longs/ints, sorted by first array in non-decreasing order */
1477 /** sort of five joint arrays of pointer/pointer/Longs/ints/ints, sorted by first array in non-decreasing order */
1496 /** sort of two joint arrays of Reals/pointers, sorted by first array in non-decreasing order */
1512 /** sort of three joint arrays of Reals/ints/ints, sorted by first array in non-decreasing order */
1521 /** sort of three joint arrays of Reals/Bools/Pointer, sorted by first array in non-decreasing order */
1530 /** sort of three joint arrays of Reals/ints/Longs, sorted by first array in non-decreasing order */
1539 /** sort of three joint arrays of Reals/ints/Pointer, sorted by first array in non-decreasing order */
1548 /** sort of three joint arrays of Reals/Reals/Pointer, sorted by first array in non-decreasing order */
1557 /** sort of four joint arrays of Reals/pointers/pointers/ints, sorted by first array in non-decreasing order */
1567 /** sort of five joint arrays of Reals/pointers/pointers/ints/ints, sorted by first array in non-decreasing order */
1578 /** sort of four joint arrays of Reals/Longs/Reals/ints, sorted by first array in non-decreasing order */
1588 /** sort of four joint arrays of Reals/Reals/ints/ints, sorted by first array in non-decreasing order */
1598 /** sort of four joint arrays of Reals/Reals/Reals/ints, sorted by first array in non-decreasing order */
1608 /** sort of four joint arrays of Reals/Reals/Reals/pointers, sorted by first array in non-decreasing order */
1618 /** sort of five joint arrays of Reals/Reals/Reals/Bools/pointers, sorted by first array in non-decreasing order */
1629 /** sort of six joint arrays of Reals/Reals/Reals/Bools/Bools/pointers, sorted by first array in non-decreasing order */
1656 /** sort of two joint arrays of ints/pointers, sorted by first array in non-decreasing order */
1672 /** sort of three joint arrays of ints/ints/ints, sorted by first array in non-decreasing order */
1681 /** sort of three joint arrays of ints/ints/Longints, sorted by first array in non-decreasing order */
1690 /** sort of three joint arrays of ints/ints/pointers, sorted by first array in non-decreasing order */
1699 /** sort of three joint arrays of ints/ints/reals, sorted by first array in non-decreasing order */
1708 /** sort of three joint arrays of ints/pointers/reals, sorted by first array in non-decreasing order */
1717 /** sort of four joint arrays of ints/ints/ints/pointers, sorted by first array in non-decreasing order */
1727 /** sort of four joint arrays of ints/ints/ints/reals, sorted by first array in non-decreasing order */
1737 /** sort of four joint arrays of ints/pointers/ints/reals, sorted by first array in non-decreasing order */
1754 /** sort of two joint arrays of Long/pointer, sorted by the first array in non-decreasing order */
1762 /** sort of three arrays of Long/pointer/ints, sorted by the first array in non-decreasing order */
1771 /** sort of four arrays of Long/pointer/Real/Bool, sorted by the first array in non-decreasing order */
1781 /** sort of five arrays of Long/pointer/Real/Real/Bool, sorted by the first array in non-decreasing order */
1792 /** sort of six arrays of Long/pointer/Real/Real/int/Bool, sorted by the first array in non-decreasing order */
1804 /** sort of four joint arrays of Long/pointer/pointer/ints, sorted by first array in non-decreasing order */
1814 /** sort of five joint arrays of Long/pointer/pointer/ints/ints, sorted by first array in non-decreasing order */
1825 /** sort of five joint arrays of Long/pointer/pointer/Bool/ints, sorted by first array in non-decreasing order */
1836 /** sort of five joint arrays of pointer/ints/ints/Bool/Bool, sorted by first array in non-decreasing order */
1848 /** sort of six joint arrays of ints/pointer/ints/ints/Bool/Bool, sorted by first array in non-decreasing order */
1862 /** sort an indexed element set in non-increasing order, resulting in a permutation index array */
1888 /** sort of two joint arrays of pointers/pointers, sorted by first array in non-increasing order */
1897 /** sort of two joint arrays of pointers/Reals, sorted by first array in non-increasing order */
1906 /** sort of two joint arrays of pointers/ints, sorted by first array in non-increasing order */
1915 /** sort of two joint arrays of pointers/Bools, sorted by first array in non-increasing order */
1924 /** sort of three joint arrays of pointers/ints/ints, sorted by first array in non-increasing order */
1934 /** sort of three joint arrays of pointers/Reals/ints, sorted by first array in non-increasing order */
1944 /** sort of three joint arrays of pointers/Reals/Bools, sorted by first array in non-increasing order */
1954 /** sort of three joint arrays of pointers/pointers/ints, sorted by first array in non-increasing order */
1964 /** sort of three joint arrays of pointers/pointers/Reals, sorted by first array in non-increasing order */
1974 /** sort of four joint arrays of pointers/pointers/ints/ints, sorted by first array in non-increasing order */
1985 /** sort of four joint arrays of pointers/Reals/ints/ints, sorted by first array in non-increasing order */
1996 /** sort of four joint arrays of pointer/pointer/Reals/ints, sorted by first array in non-increasing order */
2007 /** sort of four joint arrays of pointer/pointer/Reals/bools, sorted by first array in non-increasing order */
2018 /** sort of four joint arrays of pointer/pointer/Longs/ints, sorted by first array in non-increasing order */
2029 /** sort of five joint arrays of pointer/pointer/Longs/ints/ints, sorted by first array in non-increasing order */
2048 /** sort of two joint arrays of Reals/pointers, sorted by first array in non-increasing order */
2064 /** sort of three joint arrays of Reals/Bools/Pointer, sorted by first array in non-increasing order */
2073 /** sort of three joint arrays of Reals/ints/Longs, sorted by first array in non-increasing order */
2082 /** sort of three joint arrays of Reals/ints/Pointer, sorted by first array in non-increasing order */
2091 /** sort of three joint arrays of Reals/Reals/Pointer, sorted by first array in non-increasing order */
2100 /** sort of four joint arrays of Reals/pointers/pointers/ints, sorted by first array in non-increasing order */
2110 /** sort of five joint arrays of Reals/pointers/pointers/ints/ints, sorted by first array in non-increasing order */
2121 /** sort of four joint arrays of Reals/Longs/Reals/ints, sorted by first array in non-increasing order */
2131 /** sort of four joint arrays of Reals/Reals/ints/ints, sorted by first array in non-increasing order */
2142 /** sort of four joint arrays of Reals/Reals/Reals/ints, sorted by first array in non-increasing order */
2152 /** sort of four joint arrays of Reals/Reals/Reals/pointers, sorted by first array in non-increasing order */
2162 /** sort of three joint arrays of Reals/pointers, sorted by first array in non-decreasing order */
2171 /** sort of five joint arrays of Reals/Reals/Reals/Bools/pointers, sorted by first array in non-increasing order */
2182 /** sort of six joint arrays of Reals/Reals/Reals/Bools/Bools/pointers, sorted by first array in non-increasing order */
2209 /** sort of two joint arrays of ints/pointers, sorted by first array in non-increasing order */
2225 /** sort of three joint arrays of ints/ints/ints, sorted by first array in non-increasing order */
2234 /** sort of three joint arrays of ints/ints/SCIP_Longint, sorted by first array in non-increasing order */
2243 /** sort of three joint arrays of ints/ints/pointers, sorted by first array in non-increasing order */
2252 /** sort of three joint arrays of ints/ints/Reals, sorted by first array in non-increasing order */
2261 /** sort of four joint arrays of ints/ints/ints/pointers, sorted by first array in non-increasing order */
2271 /** sort of four joint arrays of ints/ints/ints/reals, sorted by first array in non-increasing order */
2281 /** sort of four joint arrays of ints/pointers/ints/Reals, sorted by first array in non-increasing order */
2298 /** sort of two joint arrays of Long/pointer, sorted by the first array in non-increasing order */
2306 /** sort of three arrays of Long/pointer/ints, sorted by the first array in non-increasing order */
2315 /** sort of four arrays of Long/pointer/Real/Bool, sorted by the first array in non-increasing order */
2325 /** sort of five arrays of Long/pointer/Real/Real/Bool, sorted by the first array in non-increasing order */
2336 /** sort of six arrays of Long/pointer/Real/Real/int/Bool, sorted by the first array in non-increasing order */
2348 /** sort of four joint arrays of Long/pointer/pointer/ints, sorted by first array in non-increasing order */
2358 /** sort of five joint arrays of Long/pointer/pointer/ints/ints, sorted by first array in non-increasing order */
2369 /** sort of five joint arrays of Long/pointer/pointer/Bool/ints, sorted by first array in non-increasing order */
2380 /** sort of five joint arrays of pointer/ints/ints/Bool/Bool, sorted by first array in non-increasing order */
2392 /** sort of six joint arrays of ints/pointer/ints/ints/Bool/Bool, sorted by first array in non-increasing order */
2431 /** insert a new element into two joint arrays of pointers/pointers sorted by first array in non-decreasing order */
2443 /** insert a new element into two joint arrays of pointers/Reals, sorted by first array in non-decreasing order */
2455 /** insert a new element into two joint arrays of pointers/ints, sorted by first array in non-decreasing order */
2467 /** insert a new element into two joint arrays of pointers/Bools, sorted by first array in non-decreasing order */
2479 /** insert a new element into three joint arrays of pointers/ints/ints, sorted by first array in non-decreasing order */
2493 /** insert a new element into three joint arrays of pointers/Reals/ints, sorted by first array in non-decreasing order */
2507 /** insert a new element into three joint arrays of pointers/Reals/Bools, sorted by first array in non-decreasing order */
2521 /** insert a new element into three joint arrays of pointers/pointers/Ints, sorted by first array in non-decreasing order */
2535 /** insert a new element into three joint arrays of pointers/pointers/Reals, sorted by first array in non-decreasing order */
2549 /** insert a new element into four joint arrays of pointers/pointers/ints/ints, sorted by first array in non-decreasing order */
2565 /** insert a new element into four joint arrays of pointers/Reals/ints/ints, sorted by first array in non-decreasing order */
2581 /** insert a new element into four joint arrays of pointer/pointer/Reals/ints, sorted by first array in non-decreasing order */
2597 /** insert a new element into four joint arrays of pointer/pointer/Reals/bools, sorted by first array in non-decreasing order */
2613 /** insert a new element into four joint arrays of pointer/pointer/Longs/ints, sorted by first array in non-decreasing order */
2629 /** insert a new element into five joint arrays of pointer/pointer/Longs/ints/ints, sorted by first array in non-decreasing order */
2647 /** insert a new element into three joint arrays of Reals/ints/ints, sorted by first array in non-decreasing order */
2660 /** insert a new element into three joint arrays of Reals/Bools/pointers, sorted by first array in non-decreasing order */
2673 /** insert a new element into two joint arrays of Reals/pointers, sorted by first array in non-decreasing order */
2693 /** insert a new element into two joint arrays of Reals/ints, sorted by first array in non-decreasing order */
2704 /** insert a new element into three joint arrays of Reals/ints/Longs, sorted by first array in non-decreasing order */
2717 /** insert a new element into three joint arrays of Reals/ints/Pointer, sorted by first array in non-decreasing order */
2730 /** insert a new element into three joint arrays of Reals/Reals/Pointer, sorted by first array in non-decreasing order */
2743 /** insert a new element into four joint arrays of Reals/pointers/pointers/ints, sorted by first array in non-decreasing order */
2758 /** insert a new element into five joint arrays of Reals/pointers/pointers/ints/ints, sorted by first array in non-decreasing order */
2775 /** insert a new element into four joint arrays of Reals/Long/Reals/ints, sorted by first array in non-decreasing order */
2790 /** insert a new element into four joint arrays of Reals/Reals/ints/ints, sorted by first array in non-decreasing order */
2805 /** insert a new element into four joint arrays of Reals/Reals/Reals/ints, sorted by first array in non-decreasing order */
2820 /** insert a new element into four joint arrays of Reals/Reals/Reals/pointers, sorted by first array in non-decreasing order */
2835 /** insert a new element into five joint arrays of Reals/Reals/Reals/Bools/pointers, sorted by first array in non-decreasing order */
2852 /** insert a new element into six joint arrays of Reals/Reals/Reals/Bools/Bools/pointers, sorted by first array in non-decreasing order */
2880 /** insert a new element into two joint arrays of ints/ints, sorted by first array in non-decreasing order */
2891 /** insert a new element into two joint arrays of ints/pointers, sorted by first array in non-decreasing order */
2902 /** insert a new element into two joint arrays of ints/reals, sorted by first array in non-decreasing order */
2913 /** insert a new element into three joint arrays of ints/ints/ints, sorted by first array in non-decreasing order */
2926 /** insert a new element into three joint arrays of ints/ints/SCIP_Longint, sorted by first array in non-decreasing order */
2939 /** insert a new element into three joint arrays of ints/ints/pointers, sorted by first array in non-decreasing order */
2952 /** insert a new element into three joint arrays of ints/ints/Reals, sorted by first array in non-decreasing order */
2965 /** insert a new element into three joint arrays of ints/pointers/Reals, sorted by first array in non-decreasing order */
2978 /** insert a new element into four joint arrays of ints/ints/ints/pointers, sorted by first array in non-decreasing order */
2993 /** insert a new element into four joint arrays of ints/ints/ints/reals, sorted by first array in non-decreasing order */
3008 /** insert a new element into four joint arrays of ints/pointers/ints/reals, sorted by first array in non-decreasing order */
3032 /** insert a new element into two joint arrays of Long/pointer, sorted by the first array in non-decreasing order */
3043 /** insert a new element into three joint arrays of Long/pointer/ints, sorted by the first array in non-decreasing order */
3056 /** insert a new element into four joint arrays of Long/pointer/Real/Bool, sorted by the first array in non-decreasing order */
3071 /** insert a new element into five joint arrays of Long/pointer/Real/Real/Bool, sorted by the first array in non-decreasing order */
3088 /** insert a new element into six joint arrays of Long/pointer/Real/Real/int/Bool, sorted by the first array in non-decreasing order */
3107 /** insert a new element into four joint arrays of Long/pointer/pointer/ints, sorted by first array in non-decreasing order */
3122 /** insert a new element into five joint arrays of Long/pointer/pointer/ints/ints, sorted by first array in non-decreasing order */
3139 /** insert a new element into five joint arrays of Long/pointer/pointer/Bool/ints, sorted by first array in non-decreasing order */
3156 /** insert a new element into five joint arrays of pointer/ints/ints/Bool/Bool, sorted by first array in non-decreasing order */
3174 /** insert a new element into six joint arrays of ints/pointer/ints/ints/Bool/Bool, sorted by first array in non-decreasing order */
3217 /** insert a new element into two joint arrays of pointers/pointers, sorted by first array in non-increasing order */
3229 /** insert a new element into two joint arrays of pointers/Reals, sorted by first array in non-increasing order */
3241 /** insert a new element into two joint arrays of pointers/ints, sorted by first array in non-increasing order */
3253 /** insert a new element into two joint arrays of pointers/Bools, sorted by first array in non-increasing order */
3265 /** insert a new element into three joint arrays of pointers/ints/ints, sorted by first array in non-increasing order */
3279 /** insert a new element into three joint arrays of pointers/Reals/ints, sorted by first array in non-increasing order */
3293 /** insert a new element into three joint arrays of pointers/Reals/Bools, sorted by first array in non-increasing order */
3307 /** insert a new element into three joint arrays of pointers/pointers/Ints, sorted by first array in non-increasing order */
3321 /** insert a new element into three joint arrays of pointers/pointers/Reals, sorted by first array in non-increasing order */
3335 /** insert a new element into four joint arrays of pointers/pointers/ints/ints, sorted by first array in non-increasing order */
3351 /** insert a new element into four joint arrays of pointers/Reals/ints/ints, sorted by first array in non-increasing order */
3367 /** insert a new element into four joint arrays of pointer/pointer/Reals/ints, sorted by first array in non-increasing order */
3383 /** insert a new element into four joint arrays of pointer/pointer/Reals/bools, sorted by first array in non-increasing order */
3400 /** insert a new element into four joint arrays of pointer/pointer/Longs/ints, sorted by first array in non-increasing order */
3416 /** insert a new element into five joint arrays of pointer/pointer/Longs/ints/ints, sorted by first array in non-increasing order */
3443 /** insert a new element into three joint arrays of Reals/Bools/pointers, sorted by first array in non-increasing order */
3456 /** insert a new element into two joint arrays of Reals/pointers, sorted by first array in non-increasing order */
3467 /** insert a new element into three joint arrays of Reals/pointers, sorted by first array in non-increasing order */
3480 /** insert a new element into two joint arrays of Reals/ints, sorted by first array in non-increasing order */
3491 /** insert a new element into three joint arrays of Reals/ints/ints, sorted by first array in non-increasing order */
3504 /** insert a new element into three joint arrays of Reals/ints/Longs, sorted by first array in non-increasing order */
3517 /** insert a new element into three joint arrays of Reals/ints/Pointer, sorted by first array in non-increasing order */
3530 /** insert a new element into three joint arrays of Reals/Reals/Pointer, sorted by first array in non-increasing order */
3543 /** insert a new element into four joint arrays of Reals/pointers/pointers/ints, sorted by first array in non-increasing order */
3558 /** insert a new element into five joint arrays of Reals/pointers/pointers/ints/ints, sorted by first array in non-increasing order */
3575 /** insert a new element into four joint arrays of Reals/Longs/Reals/ints, sorted by first array in non-increasing order */
3590 /** insert a new element into four joint arrays of Reals/Reals/ints/ints, sorted by first array in non-increasing order */
3605 /** insert a new element into four joint arrays of Reals/Reals/Reals/ints, sorted by first array in non-increasing order */
3620 /** insert a new element into four joint arrays of Reals/Reals/Reals/pointers, sorted by first array in non-increasing order */
3635 /** insert a new element into five joint arrays of Reals/Reals/Reals/Bools/pointers, sorted by first array in non-increasing order */
3652 /** insert a new element into six joint arrays of Reals/Reals/Reals/Bools/Bools/pointers, sorted by first array in non-increasing order */
3680 /** insert a new element into two joint arrays of ints/ints, sorted by first array in non-increasing order */
3691 /** insert a new element into two joint arrays of ints/reals, sorted by first array in non-increasing order */
3702 /** insert a new element into three joint arrays of ints/ints/ints, sorted by first array in non-increasing order */
3715 /** insert a new element into three joint arrays of ints/ints/SCIP_Longint, sorted by first array in non-increasing order */
3728 /** insert a new element into three joint arrays of ints/ints/pointers, sorted by first array in non-increasing order */
3741 /** insert a new element into three joint arrays of ints/ints/Reals, sorted by first array in non-increasing order */
3754 /** insert a new element into two joint arrays of ints/pointers, sorted by first array in non-increasing order */
3765 /** insert a new element into four joint arrays of ints/pointers/ints/Reals, sorted by first array in non-increasing order */
3780 /** insert a new element into four joint arrays of ints/int/ints/reals, sorted by first array in non-increasing order */
3795 /** insert a new element into four joint arrays of ints/pointers/ints/reals, sorted by first array in non-increasing order */
3819 /** insert a new element into two joint arrays of Long/pointer, sorted by the first array in non-increasing order */
3830 /** insert a new element into three joint arrays of Long/pointer/ints, sorted by the first array in non-increasing order */
3843 /** insert a new element into four joint arrays of Long/pointer/Real/Bool, sorted by the first array in non-increasing order */
3858 /** insert a new element into five joint arrays of Long/pointer/Real/Real/Bool, sorted by the first array in non-increasing order */
3875 /** insert a new element into six joint arrays of Long/pointer/Real/Real/int/Bool, sorted by the first array in non-increasing order */
3894 /** insert a new element into four joint arrays of Long/pointer/pointer/ints, sorted by first array in non-increasing order */
3909 /** insert a new element into five joint arrays of Long/pointer/pointer/ints/ints, sorted by first array in non-increasing order */
3926 /** insert a new element into five joint arrays of Long/pointer/pointer/Bool/ints, sorted by first array in non-increasing order */
3943 /** insert a new element into five joint arrays of pointer/ints/ints/Bool/Bool, sorted by first array in non-increasing order */
3961 /** insert a new element into six joint arrays of ints/pointer/ints/ints/Bool/Bool, sorted by first array in non-increased order */
3992 /** delete the element at the given position from an array of pointers in non-decreasing order */
4001 /** delete the element at the given position from two joint arrays of pointers/pointers, sorted by first array in non-decreasing order */
4011 /** delete the element at the given position from two joint arrays of pointers/Reals, sorted by first array in non-decreasing order */
4021 /** delete the element at the given position from two joint arrays of pointers/ints, sorted by first array in non-decreasing order */
4031 /** delete the element at the given position from two joint arrays of pointers/Bools, sorted by first array in non-decreasing order */
4041 /** delete the element at the given position from three joint arrays of pointers/ints/ints, sorted by first array in non-decreasing order */
4052 /** delete the element at the given position from three joint arrays of pointers/Reals/ints, sorted by first array in non-decreasing order */
4063 /** delete the element at the given position from three joint arrays of pointers/Reals/Bools, sorted by first array in non-decreasing order */
4074 /** delete the element at the given position from three joint arrays of pointers/pointers/Ints, sorted by first array in non-decreasing order */
4085 /** delete the element at the given position from three joint arrays of pointers/pointers/Reals, sorted by first array in non-decreasing order */
4096 /** delete the element at the given position from four joint arrays of pointers/pointers/ints/ints, sorted by first array in non-decreasing order */
4108 /** delete the element at the given position from four joint arrays of pointers/Reals/ints/ints, sorted by first array in non-decreasing order */
4120 /** deletes the element at the given position from four joint arrays of pointer/pointer/Reals/ints, sorted by first array in non-decreasing order */
4132 /** deletes the element at the given position from four joint arrays of pointer/pointer/Reals/bools, sorted by first array in non-decreasing order */
4144 /** deletes the element at the given position from four joint arrays of pointer/pointer/Longs/ints, sorted by first array in non-decreasing order */
4156 /** deletes the element at the given position from five joint arrays of pointer/pointer/Longs/ints/ints, sorted by first array in non-decreasing order */
4169 /** delete the element at the given position from three joint arrays of Reals/Bools/pointers, sorted by first array in non-decreasing order */
4179 /** delete the element at the given position from two joint arrays of Reals/pointers, sorted by first array in non-decreasing order */
4188 /** delete the element at the given position from an arrays of Reals, sorted in non-decreasing order */
4196 /** delete the element at the given position from two joint arrays of Reals/ints, sorted by first array in non-decreasing order */
4205 /** delete the element at the given position from two joint arrays of Reals/ints, sorted by first array in non-decreasing order */
4215 /** delete the element at the given position from three joint arrays of Reals/ints/Longs, sorted by first array in non-decreasing order */
4225 /** delete the element at the given position from three joint arrays of Reals/ints/Pointer, sorted by first array in non-decreasing order */
4235 /** delete the element at the given position from three joint arrays of Reals/Reals/Pointer, sorted by first array in non-decreasing order */
4245 /** delete the element at the given position from four joint arrays of Reals/pointers/pointers/ints, sorted by first array in non-decreasing order */
4256 /** delete the element at the given position from five joint arrays of Reals/pointers/pointers/ints/ints, sorted by first array in non-decreasing order */
4268 /** delete the element at the given position from four joint arrays of Reals/Long/Reals/ints, sorted by first array in non-decreasing order */
4279 /** delete the element at the given position from four joint arrays of Reals/Reals/ints/ints, sorted by first array in non-decreasing order */
4290 /** delete the element at the given position from four joint arrays of Reals/Reals/Reals/ints, sorted by first array in non-decreasing order */
4301 /** delete the element at the given position from four joint arrays of Reals/Reals/Reals/pointers, sorted by first array in non-decreasing order */
4312 /** delete the element at the given position from five joint arrays of Reals/Reals/Reals/Bools/pointers, sorted by first array in non-decreasing order */
4324 /** delete the element at the given position from six joint arrays of Reals/Reals/Reals/Bools/Bools/pointers, sorted by first array in non-decreasing order */
4345 /** delete the element at the given position from two joint arrays of ints/ints, sorted by first array in non-decreasing order */
4354 /** delete the element at the given position from two joint arrays of ints/reals, sorted by first array in non-decreasing order */
4363 /** delete the element at the given position from three joint arrays of ints/ints/ints, sorted by first array in non-decreasing order */
4373 /** delete the element at the given position from three joint arrays of ints/ints/SCIP_Longint, sorted by first array in non-decreasing order */
4383 /** delete the element at the given position from three joint arrays of ints/ints/pointers, sorted by first array in non-decreasing order */
4393 /** delete the element at the given position from three joint arrays of ints/ints/Reals, sorted by first array in non-decreasing order */
4403 /** delete the element at the given position from two joint arrays of ints/pointers, sorted by first array in non-decreasing order */
4412 /** delete the element at the given position from three joint arrays of ints/pointers/Reals, sorted by first array in non-decreasing order */
4422 /** delete the element at the given position from four joint arrays of ints/ints/ints/pointers, sorted by first array in non-decreasing order */
4433 /** delete the element at the given position from four joint arrays of ints/ints/ints/reals, sorted by first array in non-decreasing order */
4444 /** delete the element at the given position from four joint arrays of ints/pointers/ints/Reals, sorted by first array in non-decreasing order */
4455 /** delete the element at the given position from an array of Longints, sorted by in non-decreasing order */
4463 /** delete the element at the given position from two joint arrays of Long/pointer, sorted by the first array in non-decreasing order */
4472 /** delete the element at the given position from three joint arrays of Long/pointer/int, sorted by the first array in non-decreasing order */
4482 /** delete the element at the given position from four joint arrays of Long/pointer/Real/Bool, sorted by the first array in non-decreasing order */
4493 /** delete the element at the given position from five joint arrays of Long/pointer/Real/Real/Bool, sorted by the first array in non-decreasing order */
4505 /** delete the element at the given position from six joint arrays of Long/pointer/Real/Real/int/Bool, sorted by the first array in non-decreasing order */
4518 /** delete the element at the given position from four joint arrays of Long/pointer/pointer/ints, sorted by first array in non-decreasing order */
4529 /** delete the element at the given position from five joint arrays of Long/pointer/pointer/ints/ints, sorted by first array in non-decreasing order */
4541 /** delete the element at the given position from five joint arrays of Long/pointer/pointer/Bool/ints, sorted by first array in non-decreasing order */
4553 /** delete the element at the given position from five joint arrays of pointer/ints/ints/Bool/Bool, sorted by first array in non-decreasing order */
4566 /** delete the element at the given position from six joint arrays of ints/pointer/ints/ints/Bool/Bool, sorted by first array in non-decreasing order */
4591 /** delete the element at the given position from an array of pointers in non-increasing order */
4600 /** delete the element at the given position from two joint arrays of pointers/pointers, sorted by first array in non-increasing order */
4610 /** delete the element at the given position from two joint arrays of pointers/Reals, sorted by first array in non-increasing order */
4620 /** delete the element at the given position from two joint arrays of pointers/ints, sorted by first array in non-increasing order */
4630 /** delete the element at the given position from two joint arrays of pointers/Bools, sorted by first array in non-increasing order */
4640 /** delete the element at the given position from three joint arrays of pointers/ints/ints, sorted by first array in non-increasing order */
4651 /** delete the element at the given position from three joint arrays of pointers/Reals/ints, sorted by first array in non-increasing order */
4662 /** delete the element at the given position from three joint arrays of pointers/Reals/Bools, sorted by first array in non-increasing order */
4673 /** delete the element at the given position from three joint arrays of pointers/pointers/Ints, sorted by first array in non-increasing order */
4684 /** delete the element at the given position from three joint arrays of pointers/pointers/Reals, sorted by first array in non-increasing order */
4695 /** delete the element at the given position from four joint arrays of pointers/pointers/ints/ints, sorted by first array in non-increasing order */
4707 /** delete the element at the given position from four joint arrays of pointers/Reals/ints/ints, sorted by first array in non-increasing order */
4719 /** deletes the element at the given position from four joint arrays of pointer/pointer/Reals/ints, sorted by first array in non-increasing order */
4731 /** deletes the element at the given position from four joint arrays of pointer/pointer/Reals/bools, sorted by first array in non-increasing order */
4743 /** deletes the element at the given position from four joint arrays of pointer/pointer/Longs/ints, sorted by first array in non-increasing order */
4755 /** deletes the element at the given position from five joint arrays of pointer/pointer/Longs/ints/ints, sorted by first array in non-increasing order */
4768 /** delete the element at the given position from an array of Reals, sorted in non-increasing order */
4777 /** delete the element at the given position from three joint arrays of Reals/Bools/pointers, sorted by first array in non-increasing order */
4787 /** delete the element at the given position from two joint arrays of Reals/pointers, sorted by first array in non-increasing order */
4796 /** delete the element at the given position from two joint arrays of Reals/ints, sorted by first array in non-increasing order */
4805 /** delete the element at the given position from three joint arrays of Reals/ints/Longs, sorted by first array in non-increasing order */
4815 /** delete the element at the given position from three joint arrays of Reals/ints/Pointer, sorted by first array in non-increasing order */
4825 /** delete the element at the given position from three joint arrays of Reals/Reals/Pointer, sorted by first array in non-increasing order */
4835 /** delete the element at the given position from three joint arrays of Reals/Reals/Pointer, sorted by first array in non-increasing order */
4845 /** delete the element at the given position from four joint arrays of Reals/pointers/pointers/ints, sorted by first array in non-increasing order */
4856 /** delete the element at the given position from five joint arrays of Reals/pointers/pointers/ints/ints, sorted by first array in non-increasing order */
4868 /** delete the element at the given position from four joint arrays of Reals/Long/Reals/ints, sorted by first array in non-increasing order */
4879 /** delete the element at the given position from four joint arrays of Reals/Reals/ints/ints, sorted by first array in non-increasing order */
4890 /** delete the element at the given position from four joint arrays of Reals/Reals/Reals/ints, sorted by first array in non-increasing order */
4901 /** delete the element at the given position from four joint arrays of Reals/Reals/Reals/pointers, sorted by first array in non-increasing order */
4912 /** delete the element at the given position from five joint arrays of Reals/Reals/Reals/Bools/pointers, sorted by first array in non-increasing order */
4924 /** delete the element at the given position from six joint arrays of Reals/Reals/Reals/Bools/Bools/pointers, sorted by first array in non-increasing order */
4945 /** delete the element at the given position from two joint arrays of ints/ints, sorted by first array in non-increasing order */
4954 /** delete the element at the given position from two joint arrays of ints/reals, sorted by first array in non-increasing order */
4963 /** delete the element at the given position from three joint arrays of ints/ints/ints, sorted by first array in non-increasing order */
4973 /** delete the element at the given position from three joint arrays of ints/ints/SCIP_Longint, sorted by first array in non-increasing order */
4983 /** delete the element at the given position from three joint arrays of ints/ints/pointers, sorted by first array in non-increasing order */
4993 /** delete the element at the given position from three joint arrays of ints/ints/Reals, sorted by first array in non-increasing order */
5003 /** delete the element at the given position from two joint arrays of ints/pointers, sorted by first array in non-increasing order */
5012 /** delete the element at the given position from four joint arrays of ints/ints/ints/pointers, sorted by first array in non-decreasing order */
5023 /** delete the element at the given position from four joint arrays of ints/ints/ints/reals, sorted by first array in non-decreasing order */
5034 /** delete the element at the given position from four joint arrays of ints/pointers/ints/reals, sorted by first array in non-decreasing order */
5045 /** delete the element at the given position from an array of Longints, sorted in non-increasing order */
5053 /** delete the element at the given position from three two arrays of Long/pointer, sorted by the first array in non-increasing order */
5062 /** delete the element at the given position from three joint arrays of Long/pointer/int, sorted by the first array in non-increasing order */
5072 /** delete the element at the given position from three joint arrays of Long/pointer/Real/Bool, sorted by the first array in non-increasing order */
5083 /** delete the element at the given position from five joint arrays of Long/pointer/Real/Real/Bool, sorted by the first array in non-increasing order */
5095 /** delete the element at the given position from six joint arrays of Long/pointer/Real/Real/int/Bool, sorted by the first array in non-increasing order */
5109 /** delete the element at the given position from four joint arrays of Long/pointer/pointer/ints, sorted by first array in non-increasing order */
|