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

From: Joachim Schimpf (Independent Contractor) <jschimpf_at_...5...>
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

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

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST