Clasp::Cli::WriteLemmas Class Reference

#include <clasp_app.h>

Collaboration diagram for Clasp::Cli::WriteLemmas:

Public Member Functions
	WriteLemmas (std::ostream &os)
	~WriteLemmas ()
void	attach (SharedContext &ctx)
void	detach ()
void	flush (Constraint_t::Set types, uint32 maxLbd)
bool	unary (Literal, Literal) const
bool	binary (Literal, Literal, Literal) const

Constructor & Destructor Documentation

Clasp::Cli::WriteLemmas::WriteLemmas

(

std::ostream &

os

)

Clasp::Cli::WriteLemmas::~WriteLemmas

(

)

Here is the call graph for this function:

Member Function Documentation

void Clasp::Cli::WriteLemmas::attach

(

SharedContext &

ctx

)

Here is the call graph for this function:

bool Clasp::Cli::WriteLemmas::binary	(	Literal	p,
		Literal	x,
		Literal	y
	)		const

Here is the call graph for this function:

void Clasp::Cli::WriteLemmas::detach

(

)

void Clasp::Cli::WriteLemmas::flush	(	Constraint_t::Set	types,
		uint32	maxLbd
	)

Here is the call graph for this function:

bool Clasp::Cli::WriteLemmas::unary	(	Literal	p,
		Literal	x
	)		const

Here is the call graph for this function:

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/app/clingo/src/clasp/clasp_app.h
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/app/clingo/src/clasp/clasp_app.cpp