Home       Trees       Indices       Help   
TuLiP
Package tulip :: Package interfaces :: Module gr1py
[frames] | no frames]

Module gr1py

Interface to gr1py.

https://pypi.python.org/pypi/gr1py https://github.com/slivingston/gr1py

Functions
 
check_realizable(spec)
Decide realizability of specification.
 
synthesize(spec)
Synthesize strategy realizing the given specification.
Variables
  logger = logging.getLogger(__name__)
  __package__ = None
hash(x)
Function Details

check_realizable(spec)

 

Decide realizability of specification.

Consult the documentation of synthesize about parameters.

Returns:
True if realizable, False if not, or an error occurs.

synthesize(spec)

 

Synthesize strategy realizing the given specification.

cf. tulip.interfaces.gr1c.synthesize


   Home       Trees       Indices       Help   
TuLiP
Generated by Epydoc 3.0.1 on Sat Nov 19 00:11:17 2016 http://epydoc.sourceforge.net