ilasynth::HornDB Class Reference

#include <horn.hpp>

Public Member Functions
	HornDB ()
virtual	~HornDB ()
void	addVar (hvptr_t v)
void	addRel (hvptr_t v)
void	addClause (hcptr_t c)
void	addWrapClause (hcptr_t c)
void	removeVar (const std::string &n)
void	removeRel (hvptr_t v)
void	print (std::ostream &out)

Private Member Functions
void	declareVar (std::ostream &out)
void	declareRel (std::ostream &out)
void	declareClause (std::ostream &out)
void	declareWrapClause (std::ostream &out)

Private Attributes
std::map< std::string, hvptr_t >	_vars
std::set< hvptr_t >	_rels
std::set< hcptr_t >	_clauses
std::set< hcptr_t >	_wrapClauses
std::set< hvptr_t >	_dupls

Constructor & Destructor Documentation

HornDB()

ilasynth::HornDB::HornDB

(

)

~HornDB()

virtual ilasynth::HornDB::~HornDB ( )

virtual

Member Function Documentation

addClause()

void ilasynth::HornDB::addClause

(

hcptr_t

c

)

addRel()

void ilasynth::HornDB::addRel

(

hvptr_t

v

)

addVar()

void ilasynth::HornDB::addVar

(

hvptr_t

v

)

addWrapClause()

void ilasynth::HornDB::addWrapClause

(

hcptr_t

c

)

declareClause()

void ilasynth::HornDB::declareClause ( std::ostream &  out )

private

declareRel()

void ilasynth::HornDB::declareRel ( std::ostream &  out )

private

declareVar()

void ilasynth::HornDB::declareVar ( std::ostream &  out )

private

declareWrapClause()

void ilasynth::HornDB::declareWrapClause ( std::ostream &  out )

private

print()

void ilasynth::HornDB::print

(

std::ostream &

out

)

removeRel()

void ilasynth::HornDB::removeRel

(

hvptr_t

v

)

removeVar()

void ilasynth::HornDB::removeVar

(

const std::string &

n

)

Member Data Documentation

_clauses

std::set<hcptr_t> ilasynth::HornDB::_clauses

private

_dupls

std::set<hvptr_t> ilasynth::HornDB::_dupls

private

_rels

std::set<hvptr_t> ilasynth::HornDB::_rels

private

_vars

std::map<std::string, hvptr_t> ilasynth::HornDB::_vars

private

_wrapClauses

std::set<hcptr_t> ilasynth::HornDB::_wrapClauses

private

---

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

• horn.hpp