LydiaSyft
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
Syft::BaseRunner Class Reference

Base class for running a synthesis algorithm. More...

#include <base.hpp>

Inheritance diagram for Syft::BaseRunner:
Inheritance graph
[legend]
Collaboration diagram for Syft::BaseRunner:
Collaboration graph
[legend]

Public Member Functions

 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)
 

Protected Member Functions

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

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_
 

Detailed Description

Base class for running a synthesis algorithm.

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