literal.cpp File Reference

Literals. More...

#include "literal.h"
#include <ostream>

Include dependency graph for literal.cpp:

Go to the source code of this file.

Functions
std::ostream &	operator<< (std::ostream &out, literalt l)
std::ostream &	operator<< (std::ostream &out, const bvt &bv)

Detailed Description

Literals.

Definition in file literal.cpp.

Function Documentation

operator<<() [1/2]

std::ostream & operator<<	(	std::ostream &	out,
		const bvt &	bv
	)

Definition at line 24 of file literal.cpp.

operator<<() [2/2]

std::ostream & operator<<	(	std::ostream &	out,
		literalt	l
	)

Definition at line 16 of file literal.cpp.