specless.synthesis.SynthesisAlgorithm

class specless.synthesis.SynthesisAlgorithm[source]

Bases: object

Base classs for all synthesis algorithms

Methods

synthesize

Synthesizes a strategy in an env given the specification.
synthesize(env: Env, specification: Specification, *args, **kwargs) → Strategy[source]

Synthesizes a strategy in an env given the specification.

Parameters:

  • env (gym.Env) – The environment in which to synthesize the strategy.

  • specification (Specification) – The specification for the strategy.

Returns:

The synthesized strategy.

Return type:

Strategy

Raises:

NotImplementedError – If the method is not implemented in a subclass.