binop.hh 866 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
#ifndef SPOT_LTLAST_BINOP_HH
# define SPOT_LTLAST_BINOP_HH

#include "formulae.hh"

namespace spot
{
  namespace ltl
  {
    
    class binop : public formulae
    {
    public:
      // And and Or are not here.  Because they
      // are often nested we represent them as multops.
      enum type { Xor, Implies, Equiv, U, R };

      binop(type op, formulae* first, formulae* second);
      virtual ~binop();

      virtual void accept(visitor& v);
      virtual void accept(const_visitor& v) const;

      virtual bool equals(const formulae* f) const;

      const formulae* first() const;
      formulae* first();
      const formulae* second() const;
      formulae* second();

      type op() const;
      const char* op_name() const;

    private:
      type op_;
      formulae* first_;
      formulae* second_;
    };

  }
}

#endif // SPOT_LTLAST_BINOP_HH