Gringo::Ground::BackjumpBinder Struct Reference

#include <instantiation.hh>

Collaboration diagram for Gringo::Ground::BackjumpBinder:

Public Types
typedef std::vector< unsigned >	DependVec
typedef std::vector< Term::SVal >	SValVec

Public Member Functions
	BackjumpBinder (UIdx &&index, DependVec &&depends)
	BackjumpBinder (BackjumpBinder &&x) noexcept
void	match ()
bool	next ()
bool	first ()
void	print (std::ostream &out) const
	~BackjumpBinder ()

Public Attributes
UIdx	index
DependVec	depends
bool	backjumpable = false

Member Typedef Documentation

typedef std::vector<unsigned> Gringo::Ground::BackjumpBinder::DependVec

typedef std::vector<Term::SVal> Gringo::Ground::BackjumpBinder::SValVec

Constructor & Destructor Documentation

Gringo::Ground::BackjumpBinder::BackjumpBinder	(	UIdx &&	index,
		DependVec &&	depends
	)

Gringo::Ground::BackjumpBinder::BackjumpBinder ( BackjumpBinder &&  x )

defaultnoexcept

Gringo::Ground::BackjumpBinder::~BackjumpBinder

(

)

Member Function Documentation

bool Gringo::Ground::BackjumpBinder::first

(

)

Here is the call graph for this function:

void Gringo::Ground::BackjumpBinder::match

(

)

Here is the call graph for this function:

bool Gringo::Ground::BackjumpBinder::next

(

)

void Gringo::Ground::BackjumpBinder::print

(

std::ostream &

out

)

const

Here is the call graph for this function:

Member Data Documentation

bool Gringo::Ground::BackjumpBinder::backjumpable = false

DependVec Gringo::Ground::BackjumpBinder::depends

UIdx Gringo::Ground::BackjumpBinder::index

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/ground/instantiation.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/ground/instantiation.cc