Name

ltscp — Copies labeled transition systems

Synopsis

ltscp [-bfs] [-sort] [-postsort] [-segments N] input.ext1 output.ext2

ext1::= svc | bcg | aut | dir | dmp

ext2::= svc | bcg | aut | dir | fsm | fc2

Description

Copies a labeled transition system from input.ext1 to output.ext2. The format of output is determined by the extension of the file name. Allowed extensions are:

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.

Options

-bfs

Reorder the lts into bfs exploration order

-sort

Sort the transitions per state

-postsort

Sort the transitions per state before writing

-segments N

Write output in .dir format with N segments. Has no influence if output is not in .dir format.

Last update

16 December 2008 by Bert Lisser