Home
last modified time | relevance | path

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

/dports/math/stp/stp-2.3.3/lib/AST/
H A DASTBVConst.cpp100 CBV ASTBVConst::GetBVConst() const in GetBVConst() function in stp::ASTBVConst
H A DASTNode.cpp212 CBV ASTNode::GetBVConst() const in GetBVConst() function in stp::ASTNode
/dports/math/stp/stp-2.3.3/lib/Simplifier/constantBitP/
H A DFixedBits.cpp68 stp::CBV FixedBits::GetBVConst() const in GetBVConst() function in simplifier::constantBitP::FixedBits
84 stp::CBV FixedBits::GetBVConst(unsigned to, unsigned from) const in GetBVConst() function in simplifier::constantBitP::FixedBits