[ 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, tr_propia / 2, [goal, write])
- export macro(myinfers / 6, tr_propia / 2, [goal, write])
About
- Author: Thierry Le Provost, ECRC and Mark Wallace, IC-Parc and ICL
- Copyright © 1995-2006 Cisco Systems, Inc
- Date: $Date: 2009/07/16 09:11:25 $
Generated from propia.eci on 2022-09-03 14:26