Is "bset" obviously equal to the universe with the same space? */

Return the constant term of "constraint". */

Return the argument of the integer division at position "pos" in "ls". * The integer division is assumed to have a complete explicit * representatio

Check that "map" has only named parameters, reporting an error * if it does not. */

Construct a map mapping the domain of the piecewise multi-affine expression * to its range, with each dimension in the range equated to the * corres

Do "map1" and "map2" have the same parameters? */

Check if the given map is single-valued. * We simply compute * * M \circ M^-1 * * and check if the result is a subset of the identity mapping. *

There is no need to cow as removing empty parts doesn't change * the meaning of the set. */

Combine the two lists of divs into a single list. * For each row i in div1, exp1[i] is set to the position of the corresponding * row in the result.

Adjust the local spaces of the affine expressions in "maff" * such that they all have the save divs. */

Print a textual representation of "v" onto "p". */

Extract an isl_pw_aff corresponding to output dimension "pos" of "pma". */

Return the constraints of type "type" in "sc". */

Does "node" have any children? * * Any node other than the leaf nodes is considered to have at least * one child, even if the corresponding isl_sch

Does "node" have a parent? * * That is, does it point to any node of the schedule other than the root? */

Return the expansion of the expansion tree root. */

Is "tree" the leaf of a schedule tree? */

Compute the maximum of the given set dimension as a function of the * parameters, but independently of the other set dimensions. */

Construct a one-dimensional set with as parameter domain * the domain of pwaff and the single set dimension * corresponding to the affine expression

Are "set1" and "set2" disjoint? */

Return the number of parameters of "umap", where "type" * is required to be set to isl_dim_param. */

Construct a union map mapping the domain of the union * piecewise multi-affine expression to its range, with each dimension * in the range equated t

Is this union set a parameter domain? */

Return the absolute value of "v". */

Return a reference to an isl_val representing the rational value "n"/"d". * Normalizing the isl_val (if needed) is left to the caller. */

Check if there are any upper bounds on column variable "var", * i.e., non-negative rows where var appears with a negative coefficient. * Return 1 if

Convert the "n" rows starting at "first" of node->sched into a multi_aff * and return this multi_aff. * * The result is defined over the uncompress

Print "expr" to "p" in C format. */

Read a tuple and represent it as an isl_multi_pw_aff. * The range space of the isl_multi_pw_aff is the space of the tuple. * The domain space is an

Extend the schedule map "outer" with the subtree schedule * of the (single) child of "tree", if any. * * If "tree" does not have any descendants (a

Modify the maps in "umap" by applying "fn" on them. * "fn" should apply to all maps in "umap" and should not modify the space. */

Add the constraints from "src" to "dst" using "dim_map", * after making sure there is enough room in "dst" for the extra constraints. */

Add an inequality to the tableau, resolving violations using * restore_lexmin. * * This function assumes that at least one more row and at least *

Return a map that enforces that the domain iteration occurs after * the range iteration at the given level. * If level is odd, then the domain itera

Is any domain element of "umap" scheduled after any of * the corresponding image elements by the tree rooted at * the child of "node"? */

If "expr" contains an isl_ast_op_min, isl_ast_op_max or isl_ast_op_fdiv_q * then set the corresponding bit in "macros". */

Given a shared_level between two accesses, return 1 if the * the first can precede the second at the requested target_level. * If the target level i

Can the div expression of the integer division at position "row" of "div" * be printed? * In particular, are the div expressions available and does

Check that "row" is a valid row position for "mat". */

Return the position of the coefficients of the variables in * the coefficients constraints "coef". * * The space of "coef" is of the form * * { c

Does column "col" of "tab" refer to a variable in the context tableau? */

Compute the maximal number of variables over all nodes. * This is the maximal number of linearly independent schedule * rows that we need to compute

Return the number of inequality constraints in the description * of the basic map represented by "info" that * have position "status" with respect t

If we are printing a YAML document and we are at the start of an element, * print whatever is needed before we can print the actual element and * ke

Replace the pair of basic maps i and j by the basic map bounded * by the valid constraints in both basic maps and the constraints * in extra (if not

* Return the type of the argument (if the buffer is an argument). * Three possible types: * - a_input: for inputs of the function, * - a_outpu

* Return the context of the function. i.e. an ISL set that * represents constraints over the parameters of the functions * (a parameter is an inva

* Return the actual value of the expression. */ @{

Does decl have an attribute of the following form? * * __attribute__((annotate("name"))) */