ilasynth::HornClause Class Reference

#include <horn.hpp>

Public Member Functions
	HornClause ()
virtual	~HornClause ()
void	addBody (hlptr_t l)
void	setHead (hlptr_t l)
void	print (std::ostream &out)

Private Attributes
std::set< hlptr_t >	_body
hlptr_t	_head

Constructor & Destructor Documentation

HornClause()

ilasynth::HornClause::HornClause

(

)

~HornClause()

virtual ilasynth::HornClause::~HornClause ( )

virtual

Member Function Documentation

addBody()

void ilasynth::HornClause::addBody

(

hlptr_t

l

)

print()

void ilasynth::HornClause::print

(

std::ostream &

out

)

setHead()

void ilasynth::HornClause::setHead

(

hlptr_t

l

)

Member Data Documentation

_body

std::set<hlptr_t> ilasynth::HornClause::_body

private

_head

hlptr_t ilasynth::HornClause::_head

private

---

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

• horn.hpp