[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

library(propia)

The Generalised Propagation Library

Predicates

+Goal infers +Language
Do generalized propagation over Goal according to the approximation Language.
tr_propia(?, ?)
No description available

Other Exports

export op(900, yfx, infers)
export macro(myinfers / 5, propia : tr_propia / 2, [goal, write])
export macro(myinfers / 6, propia : tr_propia / 2, [goal, write])

About


Generated from propia.eci on Mon Mar 31 03:14:52 2008