Searched refs:BitVectorType (Results 1 – 15 of 15) sorted by relevance
147 using BitVectorType in main() typedef150 BitVectorType isBoundary; in main()
375 using BitVectorType = BlockVector<BlockVector<FieldVector<char,1> > >; in main() typedef405 using BitVectorType in main() typedef408 BitVectorType isBoundary; in main()
392 using BitVectorType = BlockVector<BlockVector<FieldVector<char,1> > >; in main() typedef394 BitVectorType isTopBoundary; in main()395 BitVectorType isLowerBoundary; in main()
51 class BitVectorType; variable536 class CVC4_PUBLIC BitVectorType : public Type {539 BitVectorType(const Type& type = Type());
445 BitVectorType::BitVectorType(const Type& t) : Type(t) in BitVectorType() function in CVC4::BitVectorType505 unsigned BitVectorType::getSize() const { in getSize()
380 BitVectorType mkBitVectorType(unsigned size) const;
637 BitVectorType ExprManager::mkBitVectorType(unsigned size) const { in mkBitVectorType()639 return BitVectorType(Type(d_nodeManager, new TypeNode(d_nodeManager->mkBitVectorType(size)))); in mkBitVectorType()
708 out << BitVectorType(n.getType().toType()).getSize(); in toStream()715 out << BitVectorType(n.getType().toType()).getSize(); in toStream()731 out << BitVectorType(n.getType().toType()).getSize(); in toStream()745 out << BitVectorType(n.getType().toType()).getSize(); in toStream()752 out << BitVectorType(n.getType().toType()).getSize(); in toStream()788 out << ", " << BitVectorType(n.getType().toType()).getSize() << ')'; in toStream()
144 BitVectorType type = d_expr.getType(); in size()
104 BitVectorType bv(type); in getSize()
234 auto size = CVC4::BitVectorType(type).getSize(); in toCVC4Expr()
606 type_ = CVC4.BitVectorType(type_)
612 unsigned size = BitVectorType(f.getType()).getSize(); \1794 unsigned n = BitVectorType(f.getType()).getSize();1981 { unsigned n = BitVectorType(f.getType()).getSize();1989 { unsigned n = BitVectorType(f.getType()).getSize();
639 unsigned sz = ((BitVectorType)type).getSize(); in mkSygusConstantsForType()
932 return static_cast<BitVectorType*>(d_type.get())->getSize(); in getBVSize()