reference:rotate_tac
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| reference:rotate_tac [2011/06/13 22:00] – created 178.26.109.100 | reference:rotate_tac [2011/06/14 22:04] (current) – 178.26.109.100 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== rotate_tac ===== | ===== rotate_tac ===== | ||
| + | |||
| Rotates the assumptions by k positions to the left. | Rotates the assumptions by k positions to the left. | ||
| + | |||
| + | It can be used to influence which assumption is unified when using methods like '' | ||
reference/rotate_tac.1307995236.txt.gz · Last modified: by 178.26.109.100