Index - U
| unExpr | Control.CP.FD.FD |
| unFD | Control.CP.FD.FD |
| unFDVar | Control.CP.FD.FD |
| unH | Control.CP.Herbrand.Herbrand |
| unHT | Control.CP.Herbrand.HerbrandT |
| Unify | |
| 1 (Type/Class) | Control.CP.Herbrand.Herbrand |
| 2 (Data Constructor) | Control.CP.Herbrand.Herbrand |
| unify | Control.CP.Herbrand.Herbrand |
| union | Control.CP.FD.Domain |
| un_fd | Control.CP.FD.FD |
| update | Control.CP.FD.FD |
| updateState | Control.CP.Herbrand.Herbrand |