equal
deleted
inserted
replaced
46 |
46 |
47 open matrix_builder |
47 open matrix_builder |
48 open cplex |
48 open cplex |
49 |
49 |
50 exception Converter of string; |
50 exception Converter of string; |
51 |
|
52 structure Inttab = TableFun(type key = int val ord = int_ord); |
|
53 |
51 |
54 fun neg_term (cplexNeg t) = t |
52 fun neg_term (cplexNeg t) = t |
55 | neg_term (cplexSum ts) = cplexSum (map neg_term ts) |
53 | neg_term (cplexSum ts) = cplexSum (map neg_term ts) |
56 | neg_term t = cplexNeg t |
54 | neg_term t = cplexNeg t |
57 |
55 |