#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. |
This file defines an intermediate class for handling bool and int values, which were not converted to Boolean polynomials or monomials yet.
CTypes::ostream_type& operator<< | ( | CTypes::ostream_type & | os, | |
const BooleConstant & | rhs | |||
) | [inline] |
Stream output operator.