Home
last modified time | relevance | path

Searched refs:collectArgumentTypes (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dabstraction.h152 void collectArgumentTypes(TNode sig, std::vector<TypeNode>& types, TNodeSet& seen);
H A Dabstraction.cpp510 collectArgumentTypes(signature, arg_types, seen); in finalizeSignatures()
533 void AbstractionModule::collectArgumentTypes(TNode sig, std::vector<TypeNode>& types, TNodeSet& see… in collectArgumentTypes() function in AbstractionModule
544 collectArgumentTypes(sig[i], types, seen); in collectArgumentTypes()