ltscp — Copies labeled transition systems
ltscp
[-bfs
] [-sort
] [-postsort
] [-segments
N
] input.ext1
output.ext2
svc | bcg | aut | dir | dmp ext1
::=
svc | bcg | aut | dir | fsm | fc2 ext2
::=
Copies a labeled transition system from
to
input.
ext1
.
The format of output
is determined by the extension of the file name.
Allowed extensions are:
output.
ext2
svc
State information is discarded
bcg
Ceasar Aldebaran format (binary)
aut
Ceasar Aldebaran format (ASCII)
dir
Prototype for SVC II, focussing on distributed tools
fsm
Write support only
fc2
Write support only
dmp
The incremental file format used by instantiators and instantiator1 for dumping and loading state spaces. Read support only.