literal.h File Reference

#include <iosfwd>
#include <util/narrow.h>
#include <vector>

Include dependency graph for literal.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	literalt

Typedefs
typedef std::vector< literalt >	bvt

Functions
std::ostream &	operator<< (std::ostream &out, literalt l)
literalt	const_literal (bool value)
literalt	neg (literalt a)
literalt	pos (literalt a)
bool	is_false (const literalt &l)
bool	is_true (const literalt &l)
std::ostream &	operator<< (std::ostream &out, const bvt &bv)

Typedef Documentation

bvt

typedef std::vector<literalt> bvt

Definition at line 201 of file literal.h.

Function Documentation

const_literal()

literalt const_literal ( bool value )

inline

Definition at line 188 of file literal.h.

is_false()

bool is_false ( const literalt & l )

inline

Definition at line 197 of file literal.h.

is_true()

bool is_true ( const literalt & l )

inline

Definition at line 198 of file literal.h.

neg()

literalt neg ( literalt a )

inline

Definition at line 193 of file literal.h.

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.

pos()

literalt pos ( literalt a )

inline

Definition at line 194 of file literal.h.