[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]library(shadow_cons)
A library implementing shadow, or 'local', constraint stores
Predicates
- print_LC(?, ?)
- No description available
- 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.
- unify_LC(?, ?)
- No description available
About
- Author: Mark Wallace, IC-Parc and ICL
- Copyright © Cisco Systems, Inc.
- Date: $Date: 2006/09/23 01:53:57 $
Generated from shadow_cons.eci on Sat Nov 8 06:55:55 2008