Searched refs:getTermSkolemFor (Results 1 – 2 of 2) sorted by relevance
149 Node getTermSkolemFor( Node n );
1020 Node TheoryDatatypes::getTermSkolemFor( Node n ) { in getTermSkolemFor() function in CVC4::theory::datatypes::TheoryDatatypes1303 use_s = getTermSkolemFor( c ); in collapseSelector()1748 Node k = getTermSkolemFor( n ); in getInstantiateCons()