ilasynth::HornLiteral Class Reference

#include <horn.hpp>

Public Member Functions
	HornLiteral (hvptr_t v, bool r=false, bool s=true)
virtual	~HornLiteral ()
std::string	getPred () const
std::set< std::string >	getExec () const
hvptr_t	getVar () const
bool	getSign () const
bool	isRel () const

Private Attributes
hvptr_t	_var
bool	_sign
bool	_rel

Constructor & Destructor Documentation

HornLiteral()

ilasynth::HornLiteral::HornLiteral	(	hvptr_t	v,
		bool	r = false,
		bool	s = true
	)

~HornLiteral()

virtual ilasynth::HornLiteral::~HornLiteral ( )

virtual

Member Function Documentation

getExec()

std::set<std::string> ilasynth::HornLiteral::getExec

(

)

const

getPred()

std::string ilasynth::HornLiteral::getPred

(

)

const

getSign()

bool ilasynth::HornLiteral::getSign

(

)

const

getVar()

hvptr_t ilasynth::HornLiteral::getVar

(

)

const

isRel()

bool ilasynth::HornLiteral::isRel

(

)

const

Member Data Documentation

_rel

bool ilasynth::HornLiteral::_rel

private

_sign

bool ilasynth::HornLiteral::_sign

private

_var

hvptr_t ilasynth::HornLiteral::_var

private

---

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

• horn.hpp