28 #ifndef SPOT_LTLAST_BINOP_HH
29 # define SPOT_LTLAST_BINOP_HH
108 static const formula* instance(type op,
112 virtual void accept(
visitor& v)
const;
122 const char* op_name()
const;
125 virtual std::string
dump()
const;
128 static unsigned instance_count();
131 static std::ostream& dump_instances(std::ostream& os);
134 typedef std::pair<const formula*, const formula*> pairf;
135 typedef std::pair<type, pairf> pair;
136 typedef std::map<pair, const binop*> map;
137 static map instances;
156 if (f->
kind() != formula::BinOp)
158 return static_cast<const binop*
>(f);
169 if (
const binop* bo = is_binop(f))
183 if (
const binop* bo = is_binop(f))
184 if (bo->op() == op1 || bo->op() == op2)
194 is_U(
const formula* f)
204 is_M(
const formula* f)
214 is_R(
const formula* f)
224 is_W(
const formula* f)
231 #endif // SPOT_LTLAST_BINOP_HH