Ignore:
Timestamp:
Feb 27, 2013, 4:59:31 PM (8 years ago)
Author:
sacerdot
Message:

Graph colouring terminated up to Uses that will be implemented
in Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interference.mli

    r2717 r2740  
    214214  Fixpoints.valuation -> coloured_graph -> coloured_graph -> __
    215215
    216 type coloured_graph_computer = Fixpoints.valuation -> coloured_graph
    217 
     216type coloured_graph_computer =
     217  AST.ident List.list -> Joint.joint_internal_function -> Fixpoints.valuation
     218  -> coloured_graph
     219
Note: See TracChangeset for help on using the changeset viewer.