Module slugs

Interface to the slugs implementation of GR(1) synthesis.

Relevant links:

Functions

check_realizable(spec)
Decide realizability of specification.

networkx.DiGraph

synthesize(spec, symbolic=False)
Return strategy satisfying the specification spec.

Variables
	SLUGS_COMPILER_PATH = `'../tools/StructuredSlugsParser/compiler...`
	BDD_FILE = `'strategy_bdd.txt'`
	logger = `logging.getLogger(__name__)`
	__package__ = `None` hash(x)

Function Details

Decide realizability of specification.

Consult the documentation of synthesize about parameters.

Return strategy satisfying the specification spec.

Parameters:

Returns: networkx.DiGraph

If realizable return synthesized strategy, otherwise None.

Variables Details

Value:

'../tools/StructuredSlugsParser/compiler.py'