environment.hh 680 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
#ifndef SPOT_LTLENV_ENVIRONMENT_HH
# define SPOT_LTLENV_ENVIRONMENT_HH

# include "ltlast/atomic_prop.hh"
# include <string>

namespace spot
{
  namespace ltl
  {

    class environment
    {
    public:
      // Check whether the environment contains the atomic proposition
      // described by prop_str.
      // Note this is NOT a const method.  Some environment will
      // "create" the atomic proposition when asked.
      virtual atomic_prop* require(const std::string& prop_str) = 0; 

      virtual const std::string& name() = 0;
      // FIXME: More functions will be needed later, but
      // it's enough for now.
    };

  }
}

#endif // SPOT_LTLENV_ENVIRONMENT_HH