Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit d3953b12 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.6 Thu, 11 Oct 2001 11:09:50 +0200 by jahier

Parent-Version:      0.5
Version-Log:         empty
Project-Description: empty
parent 00d1a9a9
;; This file is automatically generated, editing may cause PRCS to do
;; REALLY bad things.
(Created-By-Prcs-Version 1 3 3)
(Mercury/graph.m 15076 1002205313 7_graph.m 1.1)
(Mercury/lurette.m 4239 1002789994 5_lurette.m 1.5)
(ID_EN_VRAC 2184 1002196285 0_ID_EN_VRAC 1.1)
(test2.aut 1231 1002546062 8_test2.aut 1.1)
(Mmakefile 102 1002789994 1_Mmakefile 1.3)
(env.m 9936 1002789994 4_env_automa 1.4)
(dot_automata.m 5814 1002546062 9_dot_automa 1.1)
(memory.m 3884 1002196285 3_memory.m 1.1)
(graph.m 15076 1002205313 7_graph.m 1.1)
(dot.m 3636 1002298322 6_dot.m 1.2)
(lurette.m 4239 1002789994 5_lurette.m 1.5)
(test1.aut 1108 1002196285 2_test1.aut 1.1)
(Mercury/test.aut 1231 1002546062 8_test2.aut 1.1)
(Mercury/Mmakefile 102 1002789994 1_Mmakefile 1.3)
(README 0 1002791390 10_README 1.1)
(Mercury/env.m 9936 1002789994 4_env_automa 1.4)
(Mercury/dot_automata.m 5814 1002546062 9_dot_automa 1.1)
(Mercury/dot.m 3636 1002298322 6_dot.m 1.2)
(Mercury/memory.m 3884 1002196285 3_memory.m 1.1)
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "")
(Project-Version lurette 0 5)
(Parent-Version lurette 0 4)
(Project-Version lurette 0 6)
(Parent-Version lurette 0 5)
(Version-Log "")
(New-Version-Log "")
(Checkin-Time "Thu, 11 Oct 2001 09:46:34 +0100")
(Checkin-Time "Thu, 11 Oct 2001 10:09:50 +0100")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(README (lurette/10_README 1.1 644))
; Lurette source files
(memory.m (lurette/3_memory.m 1.1 644))
(env.m (lurette/4_env_automa 1.4 640))
(lurette.m (lurette/5_lurette.m 1.5 644))
(ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
(ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
(Mmakefile (lurette/1_Mmakefile 1.3 640))
(test1.aut (lurette/2_test1.aut 1.1 644))
(test2.aut (lurette/8_test2.aut 1.1 640))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; Lurette source files Version Mercury
(Mercury/memory.m (lurette/3_memory.m 1.1 644))
(Mercury/env.m (lurette/4_env_automa 1.4 640))
(Mercury/lurette.m (lurette/5_lurette.m 1.5 644))
(Mercury/Mmakefile (lurette/1_Mmakefile 1.3 640))
(Mercury/test.aut (lurette/8_test2.aut 1.1 640))
; a Mercury module to display graph with dot (should not be in that .prj)
(dot.m (lurette/6_dot.m 1.2 644))
(Mercury/dot.m (lurette/6_dot.m 1.2 644))
; A version of dot.m dedicated to display of lurette automata
(dot_automata.m (lurette/9_dot_automa 1.1 640))
(Mercury/dot_automata.m (lurette/9_dot_automa 1.1 640))
; I have added graph__arc_content in the interface of this library module
(graph.m (lurette/7_graph.m 1.1 644))
(Mercury/graph.m (lurette/7_graph.m 1.1 644))
)
......
automata(
0, % tat initial
[4], % tats finaux
["a"-"bool", "i"-"int", "f"-"float", "fd"-"double"],
% Nom et type des variables en entre
% (Sorties du SUT)
["b"-"bool", "c"-"bool"],
% Nom et type des variables en sortie
% (Entres du SUT) + des variables locales
[
edge(0, { 1, eps }, 1),
edge(1, { 1, b("a") }, 2),
edge(2, { 1, or(b("a"), not(b("c"))) }, 3),
edge(3, { 1, pos({[{3, var("i")}, {2, var("f")}, {-1, var("fd")}], int(3)}) }, 4)
%
% edge(1, { 1, },2),
% edge(2, { 1, or(b("b"), b("c")) }, 5),
% edge(0, { 1, eps }, 3),
% edge(3, { 1, or(b("a"), b("b")) }, 4),
% edge(4, { 1, b("c") }, 5),
% edge(5, { 1, true }, 6),
% edge(6, { 1, false }, 7),
% edge(7, { 1, b("a") }, 5),
% edge(6, { 1, pos({[{3, var("i1")}, {2, var("i2")}, {-1, var("i3")}], int(3)}) }, 8),
% edge(8, { 1, b("b") }, 5),
% edge(6, { 1, pos({[{3, var("i1")}, {2, var("i2")}, {-1, var("i3")}], int(3)}) }, 9),
% edge(9, { 1, or(b("a"), b("b")) }, 10),
% edge(10, { 1, b("c") } , 10)
]).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment