Toggle navigation
Toggle navigation
This project
Loading...
Sign in
Franck Pommereau
/
zinc
Go to a project
Toggle navigation
Toggle navigation pinning
Projects
Groups
Snippets
Help
Project
Activity
Repository
Pipelines
Graphs
Issues
0
Merge Requests
0
Wiki
Network
Create a new issue
Builds
Commits
Authored by
Franck Pommereau
2018-11-12 16:32:35 +0100
Browse Files
Options
Browse Files
Download
Email Patches
Plain Diff
Commit
d1516139f182018b3703c654eaa2985e6c025796
d1516139
1 parent
ad04052f
fixed old ast.node that wasn't changed
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
1 additions
and
1 deletions
doc/zinc.pdf → doc/techrep-2018.pdf
zinc/nodes.py
doc/
zinc
.pdf
→
doc/
techrep-2018
.pdf
View file @
d151613
No preview for this file type
zinc/nodes.py
View file @
d151613
...
...
@@ -151,7 +151,7 @@ class Transition (Node) :
ctx
.
Declare
(
dict
(
ctx
.
declare
)),
ctx
.
IfInput
(
ctx
.
marking
,
ctx
.
notempty
,
inest
)])
else
:
yield
ctx
.
Def
IterProc
(
ctx
.
SuccIterName
(
self
.
name
),
ctx
.
marking
,
[
yield
ctx
.
Def
SuccIter
(
ctx
.
SuccIterName
(
self
.
name
),
ctx
.
marking
,
[
ctx
.
Declare
(
dict
(
ctx
.
declare
))]
+
inest
)
def
add_input
(
self
,
place
,
label
)
:
self
.
_input
[
place
]
=
label
...
...
Please
register
or
login
to post a comment