#include <clasp_app.h>

Collaboration diagram for Clasp::Cli::WriteCnf:

Public Member Functions
	WriteCnf (std::ostream &os)

void	writeHeader (uint32 numVars, uint32 numCons)

void	write (Var maxVar, const ShortImplicationsGraph &g)

void	write (ClauseHead *h)

void	write (Literal unit)

void	close ()

bool	unary (Literal, Literal) const

bool	binary (Literal, Literal, Literal) const

Constructor & Destructor Documentation

Clasp::Cli::WriteCnf::WriteCnf ( std::ostream & os )

inline

Member Function Documentation

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

Here is the call graph for this function:

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

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

Here is the call graph for this function:

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

Here is the call graph for this function:

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

Here is the call graph for this function:

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

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

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