[ Reference Manual | Alphabetic Index ]

# library(shadow_cons)

A library implementing shadow, or 'local', constraint stores

## Predicates

> shadow_call(+StoreName, ?Goal)
>   Invokes a constraint on (the shadow variables of) a shadow constraint store.
> shadow_var(?Var, +StoreName, -ShadowVar)
>   Finds the shadow variable associated with the input variable in the specified shadow constraint store. If none exists, it creates one.

## About

- Author: Mark Wallace, IC-Parc and ICL
- Copyright © Cisco Systems, Inc.
- Date: $Date: 2009/07/16 09:11:27 $

Generated from shadow_cons.eci on 2020-02-26 22:26