← Back to branch summary

~tapaal-ltl/verifypn/loopInvariantReduction

« back to all changes in this revision

Viewing changes to include/LTL/LTL.h

  • Committer: Simon Virenfeldt
  • Date: 2021-02-12 13:31:04 UTC
  • mfrom: (247.2.6 ltlmain)
  • Revision ID: simwir1@gmail.com-20210212133104-rnsedpg2b04307n5
Merge ltl-stubborn-set@253

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/LTL/LTL.h
45
45
    }
46
46
 
47
47
    std::pair<Condition_ptr, bool> to_ltl(const Condition_ptr &formula);
 
48
 
48
49
}
49
50
 
50
51
#endif
 
 
b'\\ No newline at end of file'