Re: [Toss-devel] Transitive Closure Syntax

[Lukasz K. <luk...@gm...>]

To be able to use compare performance using mso with
first-order only formulas and solvers I added a less
general first-order version of transitive closure. Writing
  tc K x, y phi(x, y, z) where K is an integer
will generate a K-step transitive closure (first-order) formula.
If you know an upper bound on the needed number of steps,
you might thus replace the general tc with such formulas.

Lukasz