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_typeoperator<< (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.

Generated on Wed May 5 19:05:49 2010 for PolyBoRi by  doxygen 1.6.3