Changeset 1572 for Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml
- Timestamp:
- Nov 28, 2011, 3:13:14 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml
r1568 r1572 71 71 72 72 73 let print_graph n c =73 let print_graph n c entry = 74 74 let f lbl stmt s = 75 75 Printf.sprintf "%s%s: %s\n%s" … … 78 78 (print_statement stmt) 79 79 s in 80 Label.Map.fold f c "" 80 LTLUtilities.dfs_fold f c entry "" 81 (* Label.Map.fold f c "" *) 81 82 82 83 … … 93 94 (n_spaces (n+2)) 94 95 def.LTL.f_exit 95 (print_graph (n+2) def.LTL.f_graph )96 (print_graph (n+2) def.LTL.f_graph def.LTL.f_entry) 96 97 97 98
Note: See TracChangeset
for help on using the changeset viewer.