Set the state of the innermost active YAML element to "state" and * return the updated printer. */

Accept an affine expression that may involve ternary operators. * We first read an affine expression. * If it is not followed by a comparison operat

For each constraint in info->bmap that is not redundant (as determined * by info->tab) and that is not a valid constraint for the other basic map, *

Create an expression representing the sum of "expr1" and "expr2", * provided neither of the two expressions is identically zero. */

Free the memory allocated by create_constraint_index. */

* Transform a dynamic schedule dimension into the corresponding loop level. * * In the example below, the loop level that corresponds * to the dyna

Expand the constraint "c" into "v". The initial "dim" dimensions * are the same, but "v" may have more divs than "c" and the divs of "c" * may appe

Should the distance over "edge" be forced to zero? * That is, is it marked as a local edge? * If "use_coincidence" is set, then coincidence edges ar

* Fuse this computation with the computation passed as argument * in the same loop. Run this computation after that computation. * Fuse t

* Get the number of dimensions of the iteration * domain of the computation. */

Initialize the "eq" and "ineq" fields of "info". */

* Return if this computation represents a let statement. */

Is "edge" marked as a proximity edge? */

Apply the expansion computed by isl_merge_divs. * The expansion itself is given by "exp" while the resulting * list of divs is given by "div". */

Normalize the representation of "aff". * * This function should only be called of "new" isl_affs, i.e., * with only a single reference. We therefo

Replace the numerator of the coefficient of the variable of type "type" * at position "pos" of "aff" by "v". * * A NaN is unaffected by this operat

Does "aff" only attain non-negative values over build->domain? * That is, does it not attain any negative values? */

Create an isl_ast_build with a universe (parametric) context. */

Return the number of variables of the given type * in the (internal) schedule space. */

Construct an isl_ast_expr that evaluates "pa". * The result is simplified in terms of build->domain. * * The domain of "pa" lives in the internal s

Return a mapping from the internal schedule space to the external * schedule space in the form of an isl_multi_aff. * The internal schedule space or

Given that the dimension at position "pos" takes on values * * f + s a * * with a an integer, return s through *stride. */

Construct a map that isolates the current dimension. * * Essentially, the current dimension of "set" is moved to the single output * dimension in t

Include information about what we know about the iterators of * already generated loops to "set". * * We currently only plug in the known affine va

Return the integer value represented by "expr". */

Is local variable "div" of "bmap" marked as not having an explicit * representation? * Note that even if "div" is not marked in this way and therefo

Drop all constraints in bmap that involve any of the dimensions * first to first + n - 1 of the given type. */

Add a constraint imposing that the given two dimensions are equal. */

We manually set ISL_BASIC_SET_FINAL instead of calling * isl_basic_map_finalize because we want to keep the position * of the divs and we therefore

Extract the divs in "bmap" as a matrix. */

Turn inequality "pos" of "bmap" into an equality. * * In particular, we move the inequality in front of the equalities * and move the last inequali

Remove the explicit representation of local variable "div", * if there is any. */

Mark "bmap" as final, without checking for obviously redundant * integer divisions. This function should be used when "bmap" * is known not to invo

Return the number of equality constraints in the description of "bmap". * Return -1 on error. */

Update "bmap" based on the results of the tableau "tab". * In particular, implicit equalities are made explicit, redundant constraints * are removed

Align the parameters of "bset" to those of "model", introducing * additional parameters if needed. */

Determine if the set variables of the basic set can be factorized and * return the results in an isl_factorizer. * * The algorithm works by first c

Compute the preimage of "bset" under the function represented by "ma". * In other words, plug in "ma" in "bset". The result is a basic set * that l

Look for all integer points in "bset", which is assumed to be bounded, * and call callback->add on each of them. * * We first compute a reduced bas

Create a relation with the given set as range. * The domain of the created relation is a zero-dimensional * flat anonymous space. */

* Return the value of the static dimension. * * For example, if we have a map M = {S0[i,j]->[0,0,i,1,j,2]; S0[i,j]->[1,0,i,1,j,3]} * and call isl_m

Add a constraint imposing that the value of the first dimension is * greater than that of the second. */

Do "map" and "space" have the same parameters? */

Return the shared domain of the elements of "mupa". */

Externally, an isl_qpolynomial has a map space, but internally, the * ls field corresponds to the domain of that space. */

Return a new reference to "sched". */

Return a pointer to a schedule with as single node * a domain node with the given domain. */

Return a schedule encapsulating the given schedule tree. * * We currently only allow schedule trees with a domain or extension as root. * * The le

Return the (parameter) space of the schedule, i.e., the space * of the root domain. */

Return the schedule of the band node in isolation. */

Return the extension of the extension node "node". */

Return a copy of the leaf of the schedule into which "node" points. */

Compute the gist of the subtree at "node" with respect to * the reaching domain elements in "context". * In particular, compute the gist of all band

Return the number of children of "node"? * * Any node other than the leaf nodes is considered to have at least * one child, even if the correspondi

Compute the preimage of a range of dimensions in the affine expression "src" * under "ma" and put the result in "dst". The number of dimensions in "