• Erwan Jahier's avatar
    lurette 0.124 Fri, 21 Feb 2003 14:29:21 +0100 by jahier · 3ea22e95
    Erwan Jahier authored
    Parent-Version:      0.123
    Version-Log:
    
    Implement the polyhedron drawing primitives.
    
    source/util.ml.in:
       Change my_string_of_float so that it truncates floats 4 digits after the
    dot.
       The rational is that, for testing, we do not care the extra precision and
       too much precision may kill Polka. This precison ougth to be a parameter
       though.
    
    source/solver.ml:
    source/polyhedron.ml:
    source/store.ml:
        Implement the polyhedron drawing primitives.
    
    source/store.ml:
       Apply the substitutions in store.subtsl to the cstr to add.
    
    Project-Description: Lurette
    3ea22e95
store.ml 29.6 KB