[eclipse-users] write files from CHR-eclipse

From: J. Manuel Velasco <jvelasco_at_...4...>
Date: Mon, 6 Nov 2006 16:51:29 +0100
Hello all,

My directrice has told me that it could be good to write to a file the CHRs at 
the same time they trigger, but I am not sure if I can do that.

What she wants to is someting like:

ctr_orient(C,A,B,Rel) <=> length(Rel,N) | ctr_orient(N,C,A,B,Rel,1), <write to 
a file the ctr_orient(...)>.

ctr_orient(N1,C,A,B,R1,I),ctr_orient(N2,D,B,C,R2,J) ==> I=1, 
composition_op(R1,R2,R3), length(R3,N3), K is I+J | 
ctr_orient(N3,D,A,B,R3,K),  <write to a file the ctr_orient(...)>.

and so...

She had this idea to read that file from C/C++ after.

I was looking for some reference to do that, but i can't find anything. Can 
somebody give me a reference or tell me if this is posible, please?

Or maybe it is an invention from my directrice ?

Thank in advance.

_ manou
Received on Mon Nov 06 2006 - 15:51:00 CET

This archive was generated by hypermail 2.3.0 : Wed Jul 17 2019 - 21:14:47 CEST