#include <MessageBookkeeping.h>
Public Member Functions | |
bool | operator() (const GiaNode &x, const GiaNode &y) |
00134 { 00135 if (x.getReceivedTokens() > y.getReceivedTokens()) { 00136 if (y.getReceivedTokens() == 0) 00137 return false; 00138 else { 00139 if (x.getCapacity() >= y.getCapacity()) 00140 return false; 00141 else 00142 return true; 00143 } 00144 } 00145 else if (x.getReceivedTokens() < y.getReceivedTokens()) { 00146 if (x.getReceivedTokens() == 0) 00147 return true; 00148 else { 00149 if (x.getCapacity() > y.getCapacity()) 00150 return false; 00151 else 00152 return true; 00153 } 00154 } 00155 else { 00156 if (x.getReceivedTokens() == 0) 00157 return true; 00158 else { 00159 if (x.getCapacity() > y.getCapacity()) 00160 return false; 00161 else 00162 return true; 00163 } 00164 } 00165 }