Searched refs:registerRefDataTypes (Results 1 – 2 of 2) sorted by relevance
277 void registerRefDataTypes( TypeNode tn1, TypeNode tn2, Node atom );
901 registerRefDataTypes( tn, tnd, n ); in processAssertion()911 registerRefDataTypes( tn1, tn2, n ); in processAssertion()1023 void TheorySep::registerRefDataTypes( TypeNode tn1, TypeNode tn2, Node atom ){ in registerRefDataTypes() function in CVC4::theory::sep::TheorySep