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

#include <dag.h>

Public Member Functions

bool operator() (const std::shared_ptr< DAGNode > &node1, const std::shared_ptr< DAGNode > &node2) const
 

Detailed Description

Definition at line 1177 of file dag.h.

Member Function Documentation

◆ operator()()

bool stabilizer::parser::NodeEqual::operator() ( const std::shared_ptr< DAGNode > &  node1,
const std::shared_ptr< DAGNode > &  node2 
) const
inline

Definition at line 1178 of file dag.h.


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