dlvhex  2.5.0
Public Types | Public Member Functions | Data Fields
AnnotatedGroundProgram::ProgramComponent Struct Reference

Stores a strongly connected component of the ground program according to its atom dependencies. More...

Collaboration diagram for AnnotatedGroundProgram::ProgramComponent:
Collaboration graph
[legend]

Public Types

typedef boost::shared_ptr
< ProgramComponent > 		Ptr

Public Member Functions

 ProgramComponent (InterpretationConstPtr componentAtoms, OrdinaryASPProgram &program)
 Constructor.

Data Fields

InterpretationConstPtr componentAtoms
 Atoms in this component.
OrdinaryASPProgram program
 Program component.

Detailed Description

Stores a strongly connected component of the ground program according to its atom dependencies.

Definition at line 94 of file AnnotatedGroundProgram.h.

Member Typedef Documentation

typedef boost::shared_ptr<ProgramComponent> AnnotatedGroundProgram::ProgramComponent::Ptr

Definition at line 105 of file AnnotatedGroundProgram.h.

Constructor & Destructor Documentation

AnnotatedGroundProgram::ProgramComponent::ProgramComponent ( InterpretationConstPtr  componentAtoms,
OrdinaryASPProgram &  program 
) [inline]

Constructor.

Parameters:
componentAtomsAtoms in this component.
programGround program of this component.

Definition at line 104 of file AnnotatedGroundProgram.h.

Field Documentation

InterpretationConstPtr AnnotatedGroundProgram::ProgramComponent::componentAtoms

Atoms in this component.

Definition at line 97 of file AnnotatedGroundProgram.h.

OrdinaryASPProgram AnnotatedGroundProgram::ProgramComponent::program

Program component.

Definition at line 99 of file AnnotatedGroundProgram.h.

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