You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Meliurwen
6da9d69392
|
2 years ago | |
---|---|---|
deps | 2 years ago | |
src | 2 years ago | |
.gitignore | 2 years ago | |
.gitmodules | 2 years ago | |
Cargo.toml | 2 years ago | |
README.md | 2 years ago | |
rust-toolchain.toml | 2 years ago | |
rustfmt.toml | 2 years ago |
README.md
reCTBN Exporter
You must create a file named networks-settings.json
in the same folder you
are executing this command.
The json must be something like this:
[
{
"nodes_cardinality": 5,
"domain_cardinality": 2,
"density": 0.1,
"interval_s": 3.0,
"interval_f": 7.0,
"n_trajectories": 300,
"t_end": 200.0,
"sg_seed": 123456,
"cg_seed": 12345,
"tg_seed": 1234
},
{
"nodes_cardinality": 4,
"domain_cardinality": 2,
"density": 0.3333,
"interval_s": 3.0,
"interval_f": 7.0,
"n_trajectories": 300,
"t_end": 200.0,
"sg_seed": 1234563232,
"cg_seed": 1234522,
"tg_seed": 123432
}
]