#include <GiaNeighbors.h>
Public Attributes | |
GiaNode | node |
GiaNeighborInfo * | info |
Definition at line 47 of file GiaNeighbors.h.
Definition at line 50 of file GiaNeighbors.h.
Referenced by GiaTokenFactory::createPriorityQueue(), GiaMessageBookkeeping::getNextHop(), GiaTokenFactory::tokenCompareGiaNode::operator()(), and GiaMessageBookkeeping::GiaNodeQueueCompare::operator()().
Definition at line 49 of file GiaNeighbors.h.
Referenced by GiaTokenFactory::createPriorityQueue(), GiaMessageBookkeeping::getNextHop(), GiaTokenFactory::tokenCompareGiaNode::operator()(), and GiaMessageBookkeeping::GiaNodeQueueCompare::operator()().