Home
last modified time | relevance | path

Searched defs:isBitVector (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dtype_node.h952 inline bool TypeNode::isBitVector() const { in isBitVector() function
1000 inline bool TypeNode::isBitVector(unsigned size) const { in isBitVector() function
H A Dtype.cpp252 bool Type::isBitVector() const { in isBitVector() function in CVC4::Type
/dports/math/cvc4/CVC4-1.7/src/api/
H A Dcvc4cpp.cpp783 bool Sort::isBitVector() const { return d_type->isBitVector(); } in isBitVector() function in CVC4::api::Sort