Searched refs:unify_mode (Results 1 – 3 of 3) sorted by relevance
82 } unify_mode; typedef87 unify_mode umode; /* unification mode */
2759 } unify_mode; typedef2798 unify_mode umode = uread; /* Unification mode */ in PL_next_solution()
96930 "unify_mode": -10.173629,