FullGiaNodeInfo Struct Reference

#include <GiaNeighbors.h>

Public Attributes
GiaNode	node
GiaNeighborInfo *	info

Detailed Description

Definition at line 47 of file GiaNeighbors.h.

Member Data Documentation

GiaNeighborInfo* FullGiaNodeInfo::info

Definition at line 50 of file GiaNeighbors.h.

Referenced by GiaTokenFactory::createPriorityQueue(), GiaMessageBookkeeping::getNextHop(), GiaTokenFactory::tokenCompareGiaNode::operator()(), and GiaMessageBookkeeping::GiaNodeQueueCompare::operator()().

GiaNode FullGiaNodeInfo::node

Definition at line 49 of file GiaNeighbors.h.

Referenced by GiaTokenFactory::createPriorityQueue(), GiaMessageBookkeeping::getNextHop(), GiaTokenFactory::tokenCompareGiaNode::operator()(), and GiaMessageBookkeeping::GiaNodeQueueCompare::operator()().

---

The documentation for this struct was generated from the following file:

• GiaNeighbors.h