cvc4-1.4
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"
Include dependency graph for bitvector.h:
This graph shows which files directly or indirectly include this file:

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

namespace  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.