ltlfilt --ltl=subclass
I'd like to filter formulas that belong to some specific subclasses.
For instance subclass
could be -X
(no X), -GU
(no G nor U), GF
(only G and F), GXFX
(only GX and FX).
I'd like to filter formulas that belong to some specific subclasses.
For instance subclass
could be -X
(no X), -GU
(no G nor U), GF
(only G and F), GXFX
(only GX and FX).