Skip to content
  • Alexandre Duret-Lutz's avatar
    * configure.ac: Output src/ltlenv/Makefile. · a30a0638
    Alexandre Duret-Lutz authored
    * src/ltlenv/Makefile.am, src/ltlenv/defaultenv.cc,
    src/ltlenv/defaultenv.hh, src/ltlenv/environment.hh: New files.
    * src/ltlparse/public.hh (parse): Take an environment as third
    argument.
    * src/ltlparse/ltlparse.yy (ATOMIC_PROP, parse): Require the
    atomic proposition via the environment.
    * src/ltltest/readltl.cc (main): Adjust the call to parse().
    * src/ltltest/Makefile.am (LDADD): Add ../ltlenv/libltlenv.a.
    a30a0638