clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Member Functions | List of all members
Gringo::SolveIter Struct Referenceabstract

#include <control.hh>

Collaboration diagram for Gringo::SolveIter:
Collaboration graph

Public Member Functions

virtual Model const * next ()=0
 
virtual void close ()=0
 
virtual SolveResult get ()=0
 
virtual ~SolveIter ()
 

Constructor & Destructor Documentation

virtual Gringo::SolveIter::~SolveIter ( )
inlinevirtual

Member Function Documentation

virtual void Gringo::SolveIter::close ( )
pure virtual
virtual SolveResult Gringo::SolveIter::get ( )
pure virtual
virtual Model const* Gringo::SolveIter::next ( )
pure virtual

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