diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-08-07 18:38:49 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-08-07 18:38:49 +0000 |
| commit | b0deae79d8bae5051a85dc15e43e7b83bc8cf9ab (patch) | |
| tree | d73fa7f9fb37077853f824dcecd2a1b8e4d22837 /src/theory/bv/kinds | |
| parent | ea5acaba821790dd240db779f2340fbe5fce0b8e (diff) | |
Some items from the CVC4 public interface review:
* rename DeclarationScope to SymbolTable
* rename all HashStrategy -> HashFunction (which we often have anyways)
* remove CDCircList (no one is currently using it)
Diffstat (limited to 'src/theory/bv/kinds')
| -rw-r--r-- | src/theory/bv/kinds | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/theory/bv/kinds b/src/theory/bv/kinds index 36e27c66c..765f6bc59 100644 --- a/src/theory/bv/kinds +++ b/src/theory/bv/kinds @@ -14,7 +14,7 @@ rewriter ::CVC4::theory::bv::TheoryBVRewriter "theory/bv/theory_bv_rewriter.h" constant BITVECTOR_TYPE \ ::CVC4::BitVectorSize \ - "::CVC4::UnsignedHashStrategy< ::CVC4::BitVectorSize >" \ + "::CVC4::UnsignedHashFunction< ::CVC4::BitVectorSize >" \ "util/bitvector.h" \ "bit-vector type" cardinality BITVECTOR_TYPE \ @@ -23,7 +23,7 @@ cardinality BITVECTOR_TYPE \ constant CONST_BITVECTOR \ ::CVC4::BitVector \ - ::CVC4::BitVectorHashStrategy \ + ::CVC4::BitVectorHashFunction \ "util/bitvector.h" \ "a fixed-width bit-vector constant" @@ -63,43 +63,43 @@ operator BITVECTOR_SGE 2 "signed greater than or equal" constant BITVECTOR_BITOF_OP \ ::CVC4::BitVectorBitOf \ - ::CVC4::BitVectorBitOfHashStrategy \ + ::CVC4::BitVectorBitOfHashFunction \ "util/bitvector.h" \ "operator for the bit-vector boolean bit extract" constant BITVECTOR_EXTRACT_OP \ ::CVC4::BitVectorExtract \ - ::CVC4::BitVectorExtractHashStrategy \ + ::CVC4::BitVectorExtractHashFunction \ "util/bitvector.h" \ "operator for the bit-vector extract" constant BITVECTOR_REPEAT_OP \ ::CVC4::BitVectorRepeat \ - "::CVC4::UnsignedHashStrategy< ::CVC4::BitVectorRepeat >" \ + "::CVC4::UnsignedHashFunction< ::CVC4::BitVectorRepeat >" \ "util/bitvector.h" \ "operator for the bit-vector repeat" constant BITVECTOR_ZERO_EXTEND_OP \ ::CVC4::BitVectorZeroExtend \ - "::CVC4::UnsignedHashStrategy< ::CVC4::BitVectorZeroExtend >" \ + "::CVC4::UnsignedHashFunction< ::CVC4::BitVectorZeroExtend >" \ "util/bitvector.h" \ "operator for the bit-vector zero-extend" constant BITVECTOR_SIGN_EXTEND_OP \ ::CVC4::BitVectorSignExtend \ - "::CVC4::UnsignedHashStrategy< ::CVC4::BitVectorSignExtend >" \ + "::CVC4::UnsignedHashFunction< ::CVC4::BitVectorSignExtend >" \ "util/bitvector.h" \ "operator for the bit-vector sign-extend" constant BITVECTOR_ROTATE_LEFT_OP \ ::CVC4::BitVectorRotateLeft \ - "::CVC4::UnsignedHashStrategy< ::CVC4::BitVectorRotateLeft >" \ + "::CVC4::UnsignedHashFunction< ::CVC4::BitVectorRotateLeft >" \ "util/bitvector.h" \ "operator for the bit-vector rotate left" constant BITVECTOR_ROTATE_RIGHT_OP \ ::CVC4::BitVectorRotateRight \ - "::CVC4::UnsignedHashStrategy< ::CVC4::BitVectorRotateRight >" \ + "::CVC4::UnsignedHashFunction< ::CVC4::BitVectorRotateRight >" \ "util/bitvector.h" \ "operator for the bit-vector rotate right" |