dlvhex  2.5.0
GenuineWellfoundedModelGenerator Class Reference

Model generator for purely monotonic components. More...

#include <include/dlvhex2/GenuineWellfoundedModelGenerator.h>

Inheritance diagram for GenuineWellfoundedModelGenerator:
Collaboration diagram for GenuineWellfoundedModelGenerator:

Public Types

typedef
GenuineWellfoundedModelGeneratorFactory 
Factory

Public Member Functions

 GenuineWellfoundedModelGenerator (Factory &factory, InterpretationConstPtr input)
 Constructor.
virtual ~GenuineWellfoundedModelGenerator ()
 Destructor.
virtual InterpretationPtr generateNextModel ()
 Generate and return next model, return NULL after last model.

Protected Attributes

Factoryfactory
 Reference to the factory which created this model generator.
ASPSolverManager::ResultsPtr currentResults
 Result handle for asp solver evaluation, using externallyAugmentedInput.
bool firstcall
 True before first model was returned, false otherwise.

Detailed Description

Model generator for purely monotonic components.

Definition at line 51 of file GenuineWellfoundedModelGenerator.h.


Member Typedef Documentation


Constructor & Destructor Documentation

Constructor.

Parameters:
factoryReference to the factory which created this model generator.
inputInput interpretation to this model generator.

Definition at line 125 of file GenuineWellfoundedModelGenerator.cpp.


Member Function Documentation


Field Documentation

Result handle for asp solver evaluation, using externallyAugmentedInput.

Definition at line 65 of file GenuineWellfoundedModelGenerator.h.

Reference to the factory which created this model generator.

Definition at line 62 of file GenuineWellfoundedModelGenerator.h.

Referenced by generateNextModel().

True before first model was returned, false otherwise.

Definition at line 67 of file GenuineWellfoundedModelGenerator.h.

Referenced by generateNextModel().


The documentation for this class was generated from the following files: