Re: [eclipse-clp-users] Syntax error in source transformation

From: Joachim Schimpf (Independent Contractor) <jschimpf_at_cisco.com>
Date: Thu, 10 Apr 2008 22:29:42 +0100
Valerio wrote:
> Hi Joachim,
> thank you for your help.
> You are right, my code is generated by a tool I wrote. It basically
> takes a hardware description of a design in input and it produces an
> ECLiPSe script which describes the EFSM behaviour (i.e. state
> transitions) in terms of constraints.

Is that tool itself written in ECLiPSe?


> The problem with your suggestion is that I do not see a way to set up
> the constraints directly.
> The constraints related to the transitions must all be included within
> the for loop, and they are too specific, I see no way to write a
> generic predicate like the one you wrote in your example.
> Here is a sample of the main for loop, I hope it helps:

We need to know the loop specifiers, i.e. how many fors, foreaches,
fromtos, params etc.  Can we see the complete code for a very small
example?


-- Joachim
Received on Thu Apr 10 2008 - 14:30:13 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET