Searched refs:mkInjection (Results 1 – 2 of 2) sorted by relevance
103 Node mkInjection( TypeNode tn1, TypeNode tn2 );
258 Node a1 = mkInjection(new_tn, base_tn); in getNewAssertions()264 Node a2 = mkInjection(base_tn, new_tn); in getNewAssertions()758 Node SortInference::mkInjection( TypeNode tn1, TypeNode tn2 ) { in mkInjection() function in CVC4::SortInference