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;
133 const char* op_name()
const;
136 virtual std::string
dump()
const;
139 static unsigned instance_count();
142 static std::ostream& dump_instances(std::ostream& os);
145 typedef std::pair<const formula*, const formula*> pairf;
146 typedef std::pair<type, pairf> pair;
147 typedef std::map<pair, const binop*> map;
148 static map instances;
167 if (f->
kind() != formula::BinOp)
169 return static_cast<const binop*
>(f);
180 if (
const binop* bo = is_binop(f))
194 if (
const binop* bo = is_binop(f))
195 if (bo->op() == op1 || bo->op() == op2)
205 is_U(
const formula* f)
215 is_M(
const formula* f)
225 is_R(
const formula* f)
235 is_W(
const formula* f)
242 #endif // SPOT_LTLAST_BINOP_HH