Clasp::Cli::WriteLemmas Class Reference

#include <clasp_app.h>

List of all members.

Public Member Functions
void	attach (SharedContext &ctx)
bool	binary (Literal, Literal, Literal) const
void	detach ()
void	flush (Constraint_t::Set types, uint32 maxLbd)
bool	unary (Literal, Literal) const
	WriteLemmas (std::ostream &os)
	~WriteLemmas ()
Private Member Functions
WriteLemmas &	operator= (const WriteLemmas &)
Private Attributes
SharedContext *	ctx_
std::ostream &	os_
uint32	outShort_

---

Detailed Description

Definition at line 52 of file clasp_app.h.

---

Constructor & Destructor Documentation

Clasp::Cli::WriteLemmas::WriteLemmas

(

std::ostream &

os

)

Definition at line 494 of file clasp_app.cpp.

Clasp::Cli::WriteLemmas::~WriteLemmas

(

)

Definition at line 495 of file clasp_app.cpp.

---

Member Function Documentation

void Clasp::Cli::WriteLemmas::attach

(

SharedContext &

ctx

)

Definition at line 497 of file clasp_app.cpp.

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

Definition at line 508 of file clasp_app.cpp.

void Clasp::Cli::WriteLemmas::detach

(

)

Definition at line 496 of file clasp_app.cpp.

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

Definition at line 517 of file clasp_app.cpp.

WriteLemmas& Clasp::Cli::WriteLemmas::operator=

(

const WriteLemmas &

)

[private]

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

Definition at line 501 of file clasp_app.cpp.

---

Member Data Documentation

SharedContext* Clasp::Cli::WriteLemmas::ctx_ [private]

Definition at line 63 of file clasp_app.h.

std::ostream& Clasp::Cli::WriteLemmas::os_ [private]

Definition at line 64 of file clasp_app.h.

uint32 Clasp::Cli::WriteLemmas::outShort_ [mutable, private]

Definition at line 65 of file clasp_app.h.

---

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

• clasp_app.h
• clasp_app.cpp