#include <domain.hh>

Collaboration diagram for Gringo::AtomState:

Public Member Functions
	AtomState ()

	AtomState (std::nullptr_t)

	AtomState (bool fact, unsigned generation)

bool	hasUid () const

void	uid (unsigned x)

unsigned	uid () const

bool	fact (bool recursive) const

void	setFact (bool x)

bool	defined () const

unsigned	generation () const

void	generation (unsigned x)

bool	isFalse () const

Static Public Member Functions
static std::pair< Value const, AtomState > &	ignore ()

Constructor & Destructor Documentation

Gringo::AtomState::AtomState ( )

inline

Gringo::AtomState::AtomState ( std::nullptr_t )

inline

inline

Member Function Documentation

bool Gringo::AtomState::defined ( ) const

inline

bool Gringo::AtomState::fact ( bool recursive ) const

inline

unsigned Gringo::AtomState::generation ( ) const

inline

void Gringo::AtomState::generation ( unsigned x )

inline

bool Gringo::AtomState::hasUid ( ) const

inline

std::pair< Value const, AtomState > & Gringo::AtomState::ignore ( )

inlinestatic

bool Gringo::AtomState::isFalse ( ) const

inline

void Gringo::AtomState::setFact ( bool x )

inline

Here is the call graph for this function:

void Gringo::AtomState::uid ( unsigned x )

inline

unsigned Gringo::AtomState::uid ( ) const

inline

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

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