Commit 00d1a9a9 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.5 Thu, 11 Oct 2001 10:46:34 +0200 by jahier

Parent-Version:      0.4
Version-Log:         empty
Project-Description: empty
parent 3eddc777
......@@ -2,12 +2,12 @@
;; REALLY bad things.
(Created-By-Prcs-Version 1 3 3)
(ID_EN_VRAC 2184 1002196285 0_ID_EN_VRAC 1.1)
(env.m 9917 1002546062 4_env_automa 1.3)
(test2.aut 1231 1002546062 8_test2.aut 1.1)
(Mmakefile 93 1002546062 1_Mmakefile 1.2)
(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 4247 1002546062 5_lurette.m 1.4)
(lurette.m 4239 1002789994 5_lurette.m 1.5)
(test1.aut 1108 1002196285 2_test1.aut 1.1)
#!/bin/sh makefile
MCFLAGS = --trace deep
MLFLAGS = --trace
C2INITFLAGS = --trace
# MCFLAGS = --trace deep
# MLFLAGS = --trace
# C2INITFLAGS = --trace
MC = mmc
......@@ -87,20 +87,20 @@
:- mode read_automata(in, out, out, out, out, out, di, uo) is det.
% try(A, Node) returns the list of arc
% env__try(A, Node) returns the list of arc
% corresponding to the possible transitions in the automata A
% starting from the node Node.
:- func try(automata, node) = list({ arc(arc_content), arc_content }).
:- func env__try(automata, node) = list({ env__arc, arc_content }).
% step(A, Arc) returns the target node of the arc Arc.
:- func step(automata, arc(arc_content)) = node.
% env__step(A, Arc) returns the target node of the arc Arc.
:- func env__step(automata, env__arc) = node.
% eval(F, Mem, N) returns an evaluated version of the
% env__eval(F, Mem, N) returns an evaluated version of the
% formula F. Input variables as well as variables ``under a pre''
% are replaced by their values. Then, the formula is normalized,
% i.e., the closed sub-terms of the formula are simplified.
:- func eval(formula, memory, int) = formula.
:- mode eval(in, memory_ui, in) = out is det.
:- func env__eval(formula, memory, int) = formula.
:- mode env__eval(in, memory_ui, in) = out is det.
%-----------------------------------------------------------------------%
%-----------------------------------------------------------------------%
......
......@@ -110,10 +110,8 @@ test_lurette_loop(Mem0, A, InitNode, FinalNodes, TestFile, Mem, RS0, RS) -->
(
{ ListRandom = [ Arc - ArcContent | _] },
{ ArcContEval = eval(ArcContent, MemLast, 1) },
{ NewNode = step(A, Arc) },
{ graph__node_contents(A, NewNode, NodeInfo) },
{ ArcToColor = to_color(Arc, ArcContEval) },
dot_automata__generate_graph(ArcToColor, NodeInfo,
TestFile, A),
......
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "")
(Project-Version lurette 0 4)
(Parent-Version lurette 0 3)
(Version-Log "
J'ai amlior l'affichage de l'automate. Maintenant, il se met
a jour au dur et mesure de l'execution.
")
(Project-Version lurette 0 5)
(Parent-Version lurette 0 4)
(Version-Log "")
(New-Version-Log "")
(Checkin-Time "Mon, 08 Oct 2001 14:01:02 +0100")
(Checkin-Time "Thu, 11 Oct 2001 09:46:34 +0100")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files
;; This is a comment. Fill in files here.
;; For example: (prcs/checkout.cc ())
;; Files added by populate at Thu, 04 Oct 2001 12:47:52 +0100,
;; to version 0.0(w), by jahier:
; 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))
(Mmakefile (lurette/1_Mmakefile 1.2 640))
(test1.aut (lurette/2_test1.aut 1.1 644))
(test2.aut (lurette/8_test2.aut 1.1 640))
(memory.m (lurette/3_memory.m 1.1 644))
(env.m (lurette/4_env_automa 1.3 640))
(lurette.m (lurette/5_lurette.m 1.4 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))
; a Mercury module to display graph with dot (should not be in that .prj)
(dot.m (lurette/6_dot.m 1.2 644))
......
Supports Markdown
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