From 65b6a4d8da63181228c8dfd37cdc0be2ccb466e1 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 6 Aug 2003 10:08:53 +0000 Subject: [PATCH] * src/ltlvisit/dotty.cc (draw_node_): s/shabe/shape/. (visit): Draw rectangular node for atomic propositions and constant. This is an attempt to mimic BuDDy's output. --- ChangeLog | 4 ++++ src/ltlvisit/dotty.cc | 12 ++++++------ 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/ChangeLog b/ChangeLog index 988d2fccb..88785dd67 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2003-08-06 Alexandre Duret-Lutz + * src/ltlvisit/dotty.cc (draw_node_): s/shabe/shape/. + (visit): Draw rectangular node for atomic propositions and + constant. This is an attempt to mimic BuDDy's output. + * wrap/python/cgi/ltl2tgba.in: Handle show_formula_dot and show_formula_gif. diff --git a/src/ltlvisit/dotty.cc b/src/ltlvisit/dotty.cc index 1b64afafe..a47e50b81 100644 --- a/src/ltlvisit/dotty.cc +++ b/src/ltlvisit/dotty.cc @@ -24,19 +24,19 @@ namespace spot void visit(const atomic_prop* ap) { - draw_node_(ap, ap->name()); + draw_node_(ap, ap->name(), true); } void visit(const constant* c) { - draw_node_(c, c->val_name()); + draw_node_(c, c->val_name(), true); } void visit(const binop* bo) { - if (draw_node_(bo, bo->op_name(), true)) + if (draw_node_(bo, bo->op_name())) { dotty_visitor v(*this); bo->first()->accept(v); @@ -47,14 +47,14 @@ namespace spot void visit(const unop* uo) { - if (draw_node_(uo, uo->op_name(), true)) + if (draw_node_(uo, uo->op_name())) uo->child()->accept(*this); } void visit(const multop* mo) { - if (!draw_node_(mo, mo->op_name(), true)) + if (!draw_node_(mo, mo->op_name())) return; unsigned max = mo->size(); for (unsigned n = 0; n < max; ++n) @@ -94,7 +94,7 @@ namespace spot os_ << " " << node << " [label=\"" << str << "\""; if (rec) - os_ << ", shabe=box"; + os_ << ", shape=box"; os_ << "];" << std::endl; return true; }