23 #ifndef SPOT_LTLVISIT_POSTFIX_HH
24 # define SPOT_LTLVISIT_POSTFIX_HH
46 void visit(
const unop* uo);
47 void visit(
const binop* bo);
48 void visit(
const multop* mo);
51 void visit(
const bunop* c);
54 virtual void doit(
const unop* uo);
55 virtual void doit(
const binop* bo);
56 virtual void doit(
const multop* mo);
58 virtual void doit(
const constant* c);
59 virtual void doit(
const bunop* c);
60 virtual void doit_default(
const formula* f);
65 #endif // SPOT_LTLVISIT_POSTFIX_HH
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:43 for spot by
1.8.4