Main Page
Modules
Namespaces
Classes
Files
Directories
Related Pages
Class List
Class Hierarchy
Class Members
spot
::
ltl
::
multop
::
paircmp
spot::ltl::multop::paircmp Struct Reference
Comparison functor used internally by
ltl::multop
.
More...
#include <
ltlast/multop.hh
>
List of all members.
Public Member Functions
bool
operator()
(const
pair
&p1, const
pair
&p2) const
Detailed Description
Comparison functor used internally by
ltl::multop
.
Member Function Documentation
bool spot::ltl::multop::paircmp::operator()
(
const
pair
&
p1
,
const
pair
&
p2
)
const
[inline]
The documentation for this struct was generated from the following file:
ltlast/
multop.hh
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Tue Jul 17 15:15:01 2007 for spot by
1.5.2