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

#include <control.hh>

Collaboration diagram for Gringo::SolveFuture:
Collaboration graph

Public Member Functions

virtual SolveResult get ()=0
 
virtual void wait ()=0
 
virtual bool wait (double timeout)=0
 
virtual void interrupt ()=0
 
virtual ~SolveFuture ()
 

Constructor & Destructor Documentation

virtual Gringo::SolveFuture::~SolveFuture ( )
inlinevirtual

Member Function Documentation

virtual SolveResult Gringo::SolveFuture::get ( )
pure virtual
virtual void Gringo::SolveFuture::interrupt ( )
pure virtual
virtual void Gringo::SolveFuture::wait ( )
pure virtual
virtual bool Gringo::SolveFuture::wait ( double  timeout)
pure virtual
The documentation for this struct was generated from the following file:
Generated on Wed May 14 2014 16:10:53 for clingo by   doxygen 1.8.7