dlvhex  2.5.0
LiberalSafetyChecker::NodeMappingInfo Struct Reference

See boost::graph. More...

Collaboration diagram for LiberalSafetyChecker::NodeMappingInfo:

Public Member Functions

 NodeMappingInfo (Attribute at, Node node)

Data Fields

Attribute at
Node node

Detailed Description

See boost::graph.

Definition at line 166 of file LiberalSafetyChecker.h.


Constructor & Destructor Documentation

Definition at line 170 of file LiberalSafetyChecker.h.


Field Documentation


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