spot::ltlf_simplifier Member List

This is the complete list of members for spot::ltlf_simplifier, including all inherited members.

ltlf_simplifier() (defined in spot::ltlf_simplifier)	spot::ltlf_simplifier
simplify(formula f, bool negated=false) (defined in spot::ltlf_simplifier)	spot::ltlf_simplifier
~ltlf_simplifier() (defined in spot::ltlf_simplifier)	spot::ltlf_simplifier