SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions
Minisat::Equal< K > Struct Template Reference

#include <Map.h>

Inheritance diagram for Minisat::Equal< K >:
Inheritance graph
[legend]

Public Member Functions

bool operator() (const K &k1, const K &k2) const
 

Detailed Description

template<class K>
struct Minisat::Equal< K >

Definition at line 38 of file Map.h.

Member Function Documentation

◆ operator()()

template<class K >
bool Minisat::Equal< K >::operator() ( const K &  k1,
const K &  k2 
) const
inline

Definition at line 38 of file Map.h.

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: