Knihovna celých čísel - Integer set library

ostrov
VývojářiSven Verdoolaege, INRIA a další
Stabilní uvolnění
0,21 / 26. března 2019; Před 19 měsíci (2019-03-26)
TypMatematický software
LicenceMIT
webová stránkaostrov.gforge.inria.fr

ostrov (knihovna celých čísel) je přenosný C knihovna pro manipulaci sady a vztahy celé číslo bodů ohraničený podle lineární omezení.[1]

Jsou podporovány následující operace:[2]

Zahrnuje také ILP řešitel založený na zobecněném základ snížení, tranzitivní uzávěry na mapy (který může kódovat nekonečné grafy ), analýza závislosti a meze na po částech krokové polynomy.

Všechny výpočty jsou prováděny v přesné celočíselné aritmetice s použitím GMP nebo imath.

Mnoho programová analýza techniky jsou založeny na manipulaci s celočíselnými množinami. Celá čísla obvykle představují iterace a smyčka hnízdo nebo prvky pole.isl používá parametrické celočíselné programování získat explicitní vyjádření, pokud jde o celočíselné dělení.

Používá se jako backendová polyedrická knihovna v GCC Grafitová kostra[3] a v LLVM Rámec Polly[4] pro optimalizace smyčky.

Viz také

Reference

  1. ^ Verdoolaege, Sven (2010). "isl: Celočíselná knihovna knihoven pro polyedrický model" (PDF). 6327: 299–302. doi:10.1007/978-3-642-15582-6_49. ISSN  0302-9743. Citovat deník vyžaduje | deník = (Pomoc)
  2. ^ "isl Manual" (PDF). 2015-06-11. Citováno 2015-09-02.
  3. ^ „Předpoklady GCC“. 2015-07-26. Citováno 2015-09-02.
  4. ^ „Externí knihovny LLVM Polly“. 2020-02-10. Citováno 2020-05-18.

externí odkazy