#include <GiaTokenFactory.h>
Public Member Functions | |
bool | operator() (const FullGiaNodeInfo &x, const FullGiaNodeInfo &y) |
Definition at line 92 of file GiaTokenFactory.h.
bool GiaTokenFactory::tokenCompareGiaNode::operator() | ( | const FullGiaNodeInfo & | x, | |
const FullGiaNodeInfo & | y | |||
) |
Definition at line 120 of file GiaTokenFactory.cc.
{ if (x.info->sentTokens > y.info->sentTokens) return true; if (x.info->sentTokens == y.info->sentTokens) if (x.node.getCapacity() < y.node.getCapacity()) //??? return true; return false; }