bitvector.h File Reference

[[ Add one-line brief description here ]] More...

#include "cvc4_public.h"
#include <iostream>
#include "util/exception.h"
#include "util/integer.h"

Go to the source code of this file.

Data Structures
class	CVC4::BitVector
struct	CVC4::BitVectorHashFunction
	Hash function for the BitVector constants. More...
struct	CVC4::BitVectorExtract
	The structure representing the extraction operation for bit-vectors. More...
struct	CVC4::BitVectorExtractHashFunction
	Hash function for the BitVectorExtract objects. More...
struct	CVC4::BitVectorBitOf
	The structure representing the extraction of one Boolean bit. More...
struct	CVC4::BitVectorBitOfHashFunction
	Hash function for the BitVectorBitOf objects. More...
struct	CVC4::BitVectorSize
struct	CVC4::BitVectorRepeat
struct	CVC4::BitVectorZeroExtend
struct	CVC4::BitVectorSignExtend
struct	CVC4::BitVectorRotateLeft
struct	CVC4::BitVectorRotateRight
struct	CVC4::IntToBitVector
struct	CVC4::UnsignedHashFunction< T >

Namespaces
	CVC4

Functions
std::ostream &	CVC4::operator<< (std::ostream &os, const BitVector &bv)
std::ostream &	CVC4::operator<< (std::ostream &os, const BitVectorExtract &bv)
std::ostream &	CVC4::operator<< (std::ostream &os, const BitVectorBitOf &bv)
std::ostream &	CVC4::operator<< (std::ostream &os, const IntToBitVector &bv)

Detailed Description

[[ Add one-line brief description here ]]

** Original author: Dejan Jovanovic
** Major contributors: Morgan Deters, Liana Hadarean
** Minor contributors (to current version): Christopher L. Conway
** This file is part of the CVC4 project.
** Copyright (c) 2009-2014  New York University and The University of Iowa
** See the file COPYING in the top-level source directory for licensing
** information.

[[ Add lengthier description here ]]

Todo:

document this file

Definition in file bitvector.h.