ABC: A System for Sequential Synthesis and Verification
Loading...
Searching...
No Matches
Public Member Functions
|
List of all members
Gluco2::Equal< K > Struct Template Reference
#include <
Map.h
>
Public Member Functions
bool
operator()
(
const
K &k1,
const
K &k2)
const
Detailed Description
template<class K>
struct Gluco2::Equal< K >
Definition at line
35
of file
Map.h
.
Member Function Documentation
◆
operator()()
template<class K>
bool
Gluco2::Equal
< K >::operator()
(
const
K &
k1
,
const
K &
k2
) const
inline
Definition at line
35
of file
Map.h
.
35
{
bool
operator()
(
const
K
&
k1
,
const
K
&
k2
)
const
{
return
k1
==
k2
; } };
Gluco2::Equal
Definition
Map.h:35
Gluco2::Equal::operator()
bool operator()(const K &k1, const K &k2) const
Definition
Map.h:35
Here is the call graph for this function:
Here is the caller graph for this function:
The documentation for this struct was generated from the following file:
src/sat/glucose2/
Map.h
Gluco2
Equal
Generated by Doxygen 1.13.2 © 2025 EPTansuo. All rights reserved.
鲁ICP备2021046540号