SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
stabilizer::parser::PairNodePtrEqual Struct Reference

#include <dag.h>

Public Member Functions

bool operator() (const std::pair< const DAGNode *, const DAGNode * > &p1, const std::pair< const DAGNode *, const DAGNode * > &p2) const
 

Detailed Description

Definition at line 67 of file dag.h.

Member Function Documentation

◆ operator()()

bool stabilizer::parser::PairNodePtrEqual::operator() ( const std::pair< const DAGNode *, const DAGNode * > &  p1,
const std::pair< const DAGNode *, const DAGNode * > &  p2 
) const
inline

Definition at line 68 of file dag.h.


The documentation for this struct was generated from the following file: