Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Hans-Peter Deifel
copar-benchmarks
Commits
d9e8db61
Commit
d9e8db61
authored
Apr 09, 2019
by
Hans-Peter Deifel
Browse files
wta: Support out-degree paramter for 'generate' command
Same rationale as for the `run` command
parent
90a48726
Changes
1
Hide whitespace changes
Inline
Side-by-side
wta/bench.py
View file @
d9e8db61
...
@@ -42,6 +42,9 @@ def check_zerotrans(args):
...
@@ -42,6 +42,9 @@ def check_zerotrans(args):
def
generate
(
args
):
def
generate
(
args
):
check_zerotrans
(
args
)
check_zerotrans
(
args
)
if
args
.
out_degree
:
args
.
edge_spec
=
(
"transitions"
,
str
(
int
(
args
.
out_degree
)
*
int
(
args
.
states
)))
generator
=
args
.
generator
generator
=
args
.
generator
states
=
args
.
states
states
=
args
.
states
monoid
=
args
.
monoid
monoid
=
args
.
monoid
...
@@ -329,6 +332,7 @@ def main():
...
@@ -329,6 +332,7 @@ def main():
gen_parser
.
add_argument
(
'--symbols'
,
required
=
True
)
gen_parser
.
add_argument
(
'--symbols'
,
required
=
True
)
gen_parser
.
add_argument
(
'--zero-frequency'
)
gen_parser
.
add_argument
(
'--zero-frequency'
)
gen_parser
.
add_argument
(
'--transitions'
)
gen_parser
.
add_argument
(
'--transitions'
)
gen_parser
.
add_argument
(
'--out-degree'
)
gen_parser
.
add_argument
(
'--different-values'
)
gen_parser
.
add_argument
(
'--different-values'
)
gen_parser
.
set_defaults
(
func
=
generate
)
gen_parser
.
set_defaults
(
func
=
generate
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment