Package tulip :: Package spec :: Module form

Module form

Formulae constituting specifications

what this module adds to the pure syntactic manipulations of transformation is a variable table, with game semantics in particular.

Also, those modules are for manipulating expressions. This module knows about program structure, namely the sections of a specification file.

Classes
	LTL LTL formula (specification)
	GRSpec GR(1) specification.

Functions

replace_dependent_vars(spec, bool2form)

Variables
	logger = `logging.getLogger(__name__)`
	__package__ = `None` hash(x)