[ 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