horn.hpp File Reference

#include <map>
#include <set>
#include <string>
#include <ilasynth/ast.hpp>
#include <ilasynth/type.hpp>

Go to the source code of this file.

Classes
class	ilasynth::HornVar
class	ilasynth::HornLiteral
class	ilasynth::HornClause
class	ilasynth::HornRewriter
class	ilasynth::HornDB
class	ilasynth::HornTranslator
struct	ilasynth::HornTranslator::Instr_t

Namespaces
	ilasynth

Typedefs
typedef HornVar *	ilasynth::hvptr_t
typedef HornLiteral *	ilasynth::hlptr_t
typedef HornClause *	ilasynth::hcptr_t