Searched defs:tGoal (Results 1 – 2 of 2) sorted by relevance
893 let tGoal = WithSource t (DefinitionOf nm) function925 tGoal = WithSource t0 (DefinitionOf nm) function
858 int Dtt_Check( unsigned tFun, unsigned tGoal, unsigned tCur, int* pType ) in Dtt_Check()882 void Dtt_FindNP( Dtt_Man_t * p, unsigned tFun, unsigned tGoal, unsigned tNpn, int * NP, int* pType,… in Dtt_FindNP()