#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;
}
1.7.1