Syft::Synthesizer< Spec > Class Template Reference

Abstract class for synthesizers. More...

#include <Synthesizer.h>

Public Member Functions
	Synthesizer (Spec spec)
virtual SynthesisResult	run () const =0
	Solves the synthesis problem of the specification. More...

Protected Attributes
Spec	spec_
	The game arena.

Detailed Description

template<class Spec>
class Syft::Synthesizer< Spec >

Abstract class for synthesizers.

Can be inherited to implement synthesizers for different specification types.

Member Function Documentation

run()

template<class Spec >

virtual SynthesisResult Syft::Synthesizer< Spec >::run ( ) const

pure virtual

Solves the synthesis problem of the specification.

Returns

The result consists of realizability a set of agent winning states a transducer representing a winning strategy for the specification or nullptr if the specification is unrealizable.

Implemented in Syft::DfaGameSynthesizer, Syft::ReachabilityMaxSet, Syft::Reachability, Syft::coBuchiReachability, and Syft::BuchiReachability.

---

The documentation for this class was generated from the following file:

• src/synthesis/header/Synthesizer.h