atomic_prop.cc 604 Bytes
Newer Older
1
2
3
4
5
6
7
8
#include "atomic_prop.hh"
#include "visitor.hh"

namespace spot
{
  namespace ltl
  {
 
9
10
    atomic_prop::atomic_prop(const std::string& name, environment& env)
      : name_(name), env_(&env)
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
    {
    }

    atomic_prop::~atomic_prop()
    {
    }

    void 
    atomic_prop::accept(visitor& v)
    {
      v.visit(this);
    }
    
    void
    atomic_prop::accept(const_visitor& v) const
    {
      v.visit(this);
    }   

    const std::string&
    atomic_prop::name() const
    {
      return name_;
    }
35
36
37
38
39
40
41
    
    environment& 
    atomic_prop::env() const
    {
      return *env_;
    }

42
43
  }
}