equal
deleted
inserted
replaced
54 /* graph */ |
54 /* graph */ |
55 |
55 |
56 type Graph = isabelle.Graph[String, Info] |
56 type Graph = isabelle.Graph[String, Info] |
57 |
57 |
58 val decode_graph: XML.Decode.T[Graph] = |
58 val decode_graph: XML.Decode.T[Graph] = |
59 isabelle.Graph.decode(XML.Decode.string, decode_info) |
59 isabelle.Graph.decode(XML.Decode.string, decode_info, converse = true) |
60 } |
60 } |
61 |
61 |
62 class Model(private val graph: Model.Graph) { |
62 class Model(private val graph: Model.Graph) { |
63 val Mutators = new Mutator_Container( |
63 val Mutators = new Mutator_Container( |
64 List( |
64 List( |