src/Literal.cpp File Reference

Literal class. More...

#include "dlvhex2/Literal.h"
#include "dlvhex2/BaseVisitor.h"
#include "dlvhex2/PrintVisitor.h"

Include dependency graph for Literal.cpp:

Go to the source code of this file.

Functions
std::ostream &	operator<< (std::ostream &o, const Literal &l)
bool	operator< (const RuleBody_t &body1, const RuleBody_t &body2)

---

Detailed Description

Literal class.

Author:

Roman Schindlauer

Date:

Sun Sep 4 12:52:05 2005

Definition in file Literal.cpp.

---

Function Documentation

bool operator<	(	const RuleBody_t &	body1,
		const RuleBody_t &	body2
	)

Definition at line 143 of file Literal.cpp.

std::ostream& operator<<	(	std::ostream &	o,
		const Literal &	l
	)

Definition at line 134 of file Literal.cpp.