Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » IntervalGraphColoring

Module `Jasmin.IntervalGraphColoring`Source

Sourcetype graph = (int * int) Prog.Mv.t

Sourcetype color = Prog.var

Sourcetype coloring = color Prog.Mv.t

Sourceval solve : int -> graph -> coloring