HomeSort by: relevance | last modified time | path
    Searched defs:Feasibility (Results 1 - 1 of 1) sorted by relevancy

  /src/external/mit/isl/dist/doc/
implementation.tex 371 \subsubsection{Feasibility Check and Detection of Equalities}
376 In {\tt isl}, we therefore first perform a feasibility check on
379 In fact, we do not simply check the feasibility, but we also
557 This sign can be determined by solving two integer linear feasibility
561 any integer linear feasibility solver could be used, but the {\tt PipLib}
563 cuts algorithm to determine the feasibility of a context.
572 A common feature of both integer linear feasibility solvers is that
576 witnesses, we can avoid many feasibility tests during the determination
579 number on some others, then no feasibility test needs to be performed.
584 one or two feasibility tests need to be performed depending on the resul
    [all...]

Completed in 25 milliseconds