Inheritance diagram for Syft::SynthesisRunner:

Collaboration diagram for Syft::SynthesisRunner:

[legend]

Public Member Functions
	SynthesisRunner (const std::shared_ptr< whitemech::lydia::parsers::ltlf::LTLfDriver > &driver, const std::string &formula_file, const std::string &path_to_syfco, bool print_strategy, bool print_times)

void	run ()

Public Member Functions inherited from Syft::BaseRunner
	BaseRunner (const std::shared_ptr< whitemech::lydia::parsers::ltlf::LTLfDriver > &driver, const std::string &formula_file, const std::string &path_to_syfco, bool print_strategy, bool print_times)

Additional Inherited Members
Protected Member Functions inherited from Syft::BaseRunner
bool	handle_preprocessing_result_ (const OneStepSynthesisResult &one_step_result, Stopwatch &total_time_stopwatch) const

void	handle_synthesis_result_ (const DfaGameSynthesizer &synthesizer, const SynthesisResult &result) const

void	handle_synthesis_result_ (const SynthesisResult &result) const

SymbolicStateDfa	do_dfa_construction_ () const

Protected Attributes inherited from Syft::BaseRunner
const std::string	formula_file_

const std::string	path_to_syfco_

const TLSFArgs	args_

const std::shared_ptr< Syft::VarMgr >	var_mgr_

const Printer	printer_

std::shared_ptr< whitemech::lydia::parsers::ltlf::LTLfDriver >	driver_

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

Public Member Functions

Additional Inherited Members