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

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