Gringo::Model Struct Reference

#include <control.hh>

Inheritance diagram for Gringo::Model:

Collaboration diagram for Gringo::Model:

Public Member Functions
virtual bool	contains (Value atom) const =0
virtual ValVec	atoms (int showset) const =0
virtual Int64Vec	optimization () const =0
virtual	~Model ()

Static Public Attributes
static const unsigned	CSP = 1
static const unsigned	SHOWN = 2
static const unsigned	ATOMS = 4
static const unsigned	TERMS = 8

Constructor & Destructor Documentation

virtual Gringo::Model::~Model ( )

inlinevirtual

Member Function Documentation

virtual ValVec Gringo::Model::atoms ( int  showset ) const

pure virtual

Implemented in ClingoModel.

virtual bool Gringo::Model::contains ( Value  atom ) const

pure virtual

Implemented in ClingoModel.

virtual Int64Vec Gringo::Model::optimization ( ) const

pure virtual

Implemented in ClingoModel.

Member Data Documentation

const unsigned Gringo::Model::ATOMS = 4

static

const unsigned Gringo::Model::CSP = 1

static

const unsigned Gringo::Model::SHOWN = 2

static

const unsigned Gringo::Model::TERMS = 8

static

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/control.hh