BooleConstant.h File Reference

#include "pbori_defs.h"

Go to the source code of this file.

Classes
class	BooleConstant
	This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet. More...
Functions
CTypes::ostream_type &	operator<< (CTypes::ostream_type &os, const BooleConstant &rhs)
	Stream output operator.

---

Detailed Description

Author:

Alexander Dreyer

Date:

2008-03-05

This file defines an intermediate class for handling bool and int values, which were not converted to Boolean polynomials or monomials yet.

Copyright:

(c) 2008 by The PolyBoRi Team

---

Function Documentation

CTypes::ostream_type& operator<<	(	CTypes::ostream_type &	os,
		const BooleConstant &	rhs
	)			[inline]

Stream output operator.