Searched refs:update_v1_by_hand (Results 1 – 2 of 2) sorted by relevance
116 void update_v1_by_hand() in update_v1_by_hand() function140 update_v1_by_hand(); in main()
42 foreach(fun get_d1_with_yap get_d1_by_hand update_v1_with_yap update_v1_by_hand)