20 #ifndef SPOT_LTLPARSE_LTLFILE_HH
21 # define SPOT_LTLPARSE_LTLFILE_HH
36 ltl_file(
const std::string& filename);
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
Read LTL formulae from a file, one by one.
Definition: ltlfile.hh:33