Toggle navigation
Toggle navigation
This project
Loading...
Sign in
Franck Pommereau
/
snakes
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
2013-10-26 09:33:20 +0200
Browse Files
Options
Browse Files
Download
Email Patches
Plain Diff
Commit
01e6fea5d43fe26802c4912baf2a98d9e48dc80c
01e6fea5
1 parent
7eda9e5e
fixed typo
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
1 additions
and
1 deletions
snakes/plugins/pids.py
snakes/plugins/pids.py
View file @
01e6fea
...
...
@@ -286,7 +286,7 @@ def extend (module) :
def
add_place
(
self
,
place
,
**
args
)
:
if
place
.
name
==
self
.
nextpids
:
raise
ConstraintError
(
"reserved place name
%
r"
%
self
.
ne
tx
pids
)
%
self
.
ne
xt
pids
)
snk
.
PetriNet
.
add_place
(
self
,
place
,
**
args
)
def
add_transition
(
self
,
trans
,
**
args
)
:
snk
.
PetriNet
.
add_transition
(
self
,
trans
,
**
args
)
...
...
Please
register
or
login
to post a comment