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 -
Stephen Siegel