[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

where fd constraints go

From: Hak-Jin Kim
Subject: where fd constraints go
Date: Tue, 24 Feb 2004 11:23:17 +0900


For fd programming, I wonder where fd constraints for problem representation
According to a document, all constraints are entailed to constraint of the
form, X in r, and the constraint store keeps such constraints.  Then where
original constraints go?  They go to 'global stack'?

Also I like to put a different type of constraint such as
 'fd_constraint --> call an imperative function'. Here the fd_constraint is
not affected by consistency checking.  What I need is to check the truth
value.  That is, if the antecedent has true, the imperative function in the
consequence should be executed; otherwise, it is ignored.  Can this kind be
constructed in the current gprolog fd constraint system?

Thirdly, is there any detailed document about the user defined fd constraint
using fd2c?

Any comment will be helpful to me.  Thanks in advance.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]