#include <clasp_app.h>

Public Member Functions
bool	binary (Literal, Literal, Literal) const
void	close ()
bool	unary (Literal, Literal) const
void	write (Var maxVar, const ShortImplicationsGraph &g)
void	write (ClauseHead *h)
void	write (Literal unit)
	WriteCnf (std::ostream &os)
void	writeHeader (uint32 numVars, uint32 numCons)
Private Member Functions
WriteCnf &	operator= (const WriteCnf &)
Private Attributes
LitVec	lits_
std::ostream &	os_

Detailed Description

Definition at line 67 of file clasp_app.h.

Constructor & Destructor Documentation

Clasp::Cli::WriteCnf::WriteCnf ( std::ostream & os ) [inline]

Definition at line 69 of file clasp_app.h.

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

Definition at line 577 of file clasp_app.cpp.

void Clasp::Cli::WriteCnf::close ( )

Definition at line 583 of file clasp_app.cpp.

WriteCnf& Clasp::Cli::WriteCnf::operator= ( const WriteCnf & ) [private]

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

Definition at line 571 of file clasp_app.cpp.

void Clasp::Cli::WriteCnf::write	(	Var	maxVar,
		const ShortImplicationsGraph &	g
	)

Definition at line 562 of file clasp_app.cpp.

void Clasp::Cli::WriteCnf::write ( ClauseHead * h )

Definition at line 556 of file clasp_app.cpp.

void Clasp::Cli::WriteCnf::write ( Literal unit )

Definition at line 568 of file clasp_app.cpp.

void Clasp::Cli::WriteCnf::writeHeader	(	uint32	numVars,
		uint32	numCons
	)

Definition at line 553 of file clasp_app.cpp.

Definition at line 80 of file clasp_app.h.

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

Definition at line 79 of file clasp_app.h.

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