[ 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


Generated from shadow_cons.eci on Mon Mar 31 03:13:13 2008