SymbolicVarComp Struct Reference

Comparator to compare SymbolicVariable pointers. More...

#include <solver.h>

Public Member Functions
bool	operator() (const IR::SymbolicVariable *s1, const IR::SymbolicVariable *s2) const

Detailed Description

Comparator to compare SymbolicVariable pointers.