Skip to content
Snippets Groups Projects
Commit 16d79e9f authored by Erwan Jahier's avatar Erwan Jahier
Browse files

addd untracked files

parent 9e224dbf
No related branches found
No related tags found
No related merge requests found
(** Automatically generated from Makefile *)
let tool = "lus2lic"
let branch = "(no"
let commit = "539"
let sha_1 = "c3178cb6b6277f8a7c728a0533f13e5aee17c803"
let commit = "540"
let sha_1 = "9e224dbfbc580103252b1672f8c2a4882e7c6fc7"
let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
let maintainer = "jahier@imag.fr"
type zetype = int^4;
node overplus = map<<+,4>>;
node do_int(x,y: int^4) returns (o: int^4);
let o = overplus(x,y); tel
node do_real(x,y: real^4) returns (o: real^4);
let o = overplus(x,y); tel
node overload = do_real;
\ No newline at end of file
(* ne passe pas DoNotPoly ... *)
node truc = map<<+,42>>;
(* PASSE DoNotPoly en spécialisant truc ! ... *)
node ply02(x,y: int) returns (o: int^42);
let
o = if (x < y) then 0^42 else truc(x^42, y^42);
tel
/*
file generated on : Fri Nov 14 17:29:48 MET 2003
using the compiler : Simulink to Lustre CURRENT VERSION!!!
*/
/**************** The MainNode node of the model ****************/
node MainNode (In3:real)
returns (Out2:real);
var cl1_4_2, cl1_12_3 :bool;
Out2_ :real when cl1_4_2 ;
let
cl1_4_2 = make_cl1_4_2(true) ;
cl1_12_3 = make_cl1_12_3(true) ;
(Out2_) = sample_time_change (cl1_4_2, cl1_12_3, In3 when cl1_12_3);
Out2 = if cl1_4_2 then current Out2_ else 0.0 -> pre Out2 ;
tel
/****************** All the nodes of the Model ******************/
node sample_time_change (cl1_4_2, cl1_12_3:bool; In3:real when cl1_12_3)
returns (Out2:real when cl1_4_2);
var Unit_Delay1:real when cl1_12_3;
Unit_Delay2:real when cl1_4_2;
let
Unit_Delay1 = 0.0 when cl1_12_3 -> pre In3 ;
Unit_Delay2 = 0.0 when cl1_4_2 -> pre Unit_Delay2 ;
Out2 = Unit_Delay2 ;
tel
/**************************** Clocks ****************************/
node make_cl1_4_2(in: bool) returns (out: bool);
var cl1, cl2, cl3, cl4, pha1, pha2 :bool ;
let
cl1 = true -> pre cl2 ;
cl2 = false -> pre cl3 ;
cl3 = false -> pre cl4 ;
cl4 = false -> pre cl1 ;
pha1 = false -> pre cl1 ;
pha2 = false -> pre pha1 ;
out = pha2 ;
tel
node make_cl1_12_3(in: bool) returns (out: bool);
var cl1, cl2, cl3, cl4, cl5, cl6, cl7, cl8, cl9, cl10, cl11, cl12, pha1, pha2, pha3 :bool ;
let
cl1 = true -> pre cl2 ;
cl2 = false -> pre cl3 ;
cl3 = false -> pre cl4 ;
cl4 = false -> pre cl5 ;
cl5 = false -> pre cl6 ;
cl6 = false -> pre cl7 ;
cl7 = false -> pre cl8 ;
cl8 = false -> pre cl9 ;
cl9 = false -> pre cl10 ;
cl10 = false -> pre cl11 ;
cl11 = false -> pre cl12 ;
cl12 = false -> pre cl1 ;
pha1 = false -> pre cl1 ;
pha2 = false -> pre pha1 ;
pha3 = false -> pre pha2 ;
out = pha3 ;
tel
type
t = bool^3^4;
t2 = bool^7^8^9^10;
const
n : t;
m = n[3][2];
s : t2;
o = s[9][8][7][6];
node tranche(a: bool^3) returns (res: bool);
var
x: bool^3;
y: real;
z: t;
x1 : bool^3^2;
let
y = 1.;
x[if(1>2) then -2 else 0] = true;
x[1..2] = a[1..2];
res = if x[1] then x[0] else x[2];
z[0][0] = true;
z[0][1] = true;
z[0][2] = true;
z[1][0] = true;
z[1][1..2] = x[1..2];
z[2..3]= x1;
x1[0] = x;
x1[1] = x;
--x[0] = x1[0][0];
tel
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment