PaLM manual: reference - method explain (e-constraints.net)

e-constraints.net
the home of Explanation-based Constraint Programming

Introduction

Implementations

Applications

Pointers

method explain

explain(X) is a shortcut for let e := Explanation() in (self_explain(X), e)

Restrictions
`explain(AbstractConstraint): Explanation`
`explain(PalmIntVar, {1, 2, 3, 4}): Explanation`
`explain(PalmIntVar, {1, 2, 3, 4}, integer): Explanation`
`explain(PalmProblem): Explanation`	Useds to provide an explanation for a contradictory PalmProblem.

- Last modified: Sat Nov 17 14:55:14 Paris, Madrid 2001 by Webmaster