constant.hh 565 Bytes
Newer Older
1
2
3
#ifndef SPOT_LTLAST_CONSTANT_HH
# define SPOT_LTLAST_CONSTANT_HH

4
#include "formula.hh"
5
6
7
8
9
10

namespace spot
{
  namespace ltl
  {
    
11
    class constant : public formula
12
13
14
15
16
17
18
19
20
21
    {
    public:
      enum type { False, True };

      constant(type val);
      virtual ~constant();

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

22
23
      const formula* child() const;
      formula* child();
24
25
26
27
28
29
30
31
32
33
34
35

      type val() const;
      const char* val_name() const;

    private:
      type val_;
    };

  }
}

#endif // SPOT_LTLAST_CONSTANT_HH