spot
1.2.1a
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
spot
ltl
mark_tools
Public Member Functions
|
List of all members
spot::ltl::mark_tools Class Reference
Collaboration diagram for spot::ltl::mark_tools:
Public Member Functions
const
formula
*
mark_concat_ops
(const
formula
*f)
Mark operators NegClosure and EConcat.
More...
const
formula
*
simplify_mark
(const
formula
*f)
The documentation for this class was generated from the following file:
ltlvisit/
mark.hh
Please direct any
question
,
comment
, or
bug report
to the Spot mailing list at
spot@lrde.epita.fr
.
Generated on Fri Jun 5 2015 11:31:20 for spot by
1.8.9.1