Searched refs:extraTransferPermute (Results 1 – 1 of 1) sorted by relevance
55 static DdNode * extraTransferPermute( DdManager * ddS, DdManager * ddD, DdNode * f, int * Permute );93 bRes = extraTransferPermute( ddSource, ddDestination, f, Permute ); in Extra_TransferPermute()1535 DdNode * extraTransferPermute( DdManager * ddS, DdManager * ddD, DdNode * f, int * Permute ) in extraTransferPermute() function