Main Page
|
Namespace List
|
Class Hierarchy
|
Class List
|
File List
|
Namespace Members
|
Class Members
spot::ltl::multop::paircmp Struct Reference
Comparison functor used internally by
ltl::multop
.
More...
#include <
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
Generated on Mon Mar 8 23:32:23 2004 for spot by
1.3.5