[eclipse-clp-users] Tentative variables

From: Edgaonkar, Shrirang <Shrirang.Edgaonkar_at_nttdata.com>
Date: Mon, 14 Dec 2015 07:50:42 +0000
Dear clp users,

  Following is a sample of tentative variables.

:- lib(ic).
:- lib(tentative).
 Var #:: 1..10,
 tent_set(Var, 3).

Output is:-

?- solveNULLTest(Var).
Var = Var{tentative : (3 -> 0), ic : 1 .. 10}
Yes (0.00s cpu)

I use a java interface to solve the goals in eclipse and need information about the tentative values of variables in java. Is there a way to do that in?

Currently java will give the following output:-

com.parctechnologies.eclipse.CompoundTermImpl with [functor=solveNULLTest arity=1 arg(1)=null]

But I would need the tentative values of the tentative variable(3 in this case) in the java output.

Thanks and Regards,

Shrirang Edgaonkar

Disclaimer: This email and any attachments are sent in strictest confidence
for the sole use of the addressee and may contain legally privileged,
confidential, and proprietary data. If you are not the intended recipient,
please advise the sender by replying promptly to this email and then delete
and destroy this email and any attachments without any further use, copying
or forwarding.
Received on Mon Dec 14 2015 - 07:56:10 CET

This archive was generated by hypermail 2.2.0 : Mon Dec 14 2015 - 15:13:12 CET