Package tulip :: Package interfaces :: Module omega

Module omega

Interface to `omega` package.

`omega` constructs symbolic transducers, represented as binary decision diagrams. This module applies enumeration, to return enumerated transducers.

Functions

is_realizable(spec, use_cudd=False)
Return `True` if, and only if, realizable.

`networkx.DiGraph`

synthesize_enumerated_streett(spec, use_cudd=False)
Return transducer enumerated as a graph.

`bool`

is_circular(spec, use_cudd=False)
Return `True` if trivial winning set non-empty.

Function Details

Return `True` if, and only if, realizable.

See `synthesize_enumerated_streett` for more details.

Return transducer enumerated as a graph.

Parameters:

Returns: `networkx.DiGraph`

Return `True` if trivial winning set non-empty.

Parameters:

Returns: `bool`