Question about the command line interface. I know something like ltlfilt -f 'a U (b U a)' --equivalent-to 'b U a’ can be used to determine if two LTL formulas are equivalent. Is there a way to do that if both formulas are in files? From the man page I could only see how to make the first formula come from a file (-F).
On Fri, Apr 5, 2019 at 3:16 AM Stephen Siegel <siegel@udel.edu> wrote:
Question about the command line interface. I know something like
ltlfilt -f 'a U (b U a)' --equivalent-to 'b U a’
can be used to determine if two LTL formulas are equivalent. Is there a way to do that if both formulas are in files? From the man page I could only see how to make the first formula come from a file (-F).
ltlfilt -F file1 --equivalent-to "$(cat file2)" will display all formulas in file1 that are equivalent to the formula in file2. The main use-case for -F is batching operations on several formulas, so it's not syntactic sugar over -f "$(cat file1)" in general. -- Alexandre Duret-Lutz
participants (2)
-
Alexandre Duret-Lutz -
Stephen Siegel