ExternalAtomVerificationTree::Node Struct Reference

Node of GenuineGuessAndCheckModelGenerator::ExternalAtomVerificationTree. More...

#include <include/dlvhex2/ExternalAtomVerificationTree.h>

Collaboration diagram for ExternalAtomVerificationTree::Node:

Public Types
typedef boost::shared_ptr< Node >	Ptr
Data Fields
ID	label
	Label of the edge from the parent to this node.
InterpretationPtr	verified
	Auxiliary atoms verified in this node.
std::vector< Ptr >	childNodes
	Children.

---

Detailed Description

Node of GenuineGuessAndCheckModelGenerator::ExternalAtomVerificationTree.

Definition at line 59 of file ExternalAtomVerificationTree.h.

---

Member Typedef Documentation

typedef boost::shared_ptr<Node> ExternalAtomVerificationTree::Node::Ptr

Definition at line 60 of file ExternalAtomVerificationTree.h.

---

Field Documentation

std::vector<Ptr> ExternalAtomVerificationTree::Node::childNodes

Children.

Definition at line 66 of file ExternalAtomVerificationTree.h.

ID ExternalAtomVerificationTree::Node::label

Label of the edge from the parent to this node.

Definition at line 62 of file ExternalAtomVerificationTree.h.

InterpretationPtr ExternalAtomVerificationTree::Node::verified

Auxiliary atoms verified in this node.

Definition at line 64 of file ExternalAtomVerificationTree.h.

---

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

• include/dlvhex2/ExternalAtomVerificationTree.h