• initial_vector_ : Syft::DfaGameSynthesizer
• protagonist_player_ : Syft::DfaGameSynthesizer
• quantify_independent_variables_ : Syft::DfaGameSynthesizer
• quantify_non_state_variables_ : Syft::DfaGameSynthesizer
• spec_ : Syft::Synthesizer< Spec >
• starting_player_ : Syft::DfaGameSynthesizer
• transition_vector_ : Syft::DfaGameSynthesizer
• var_mgr_ : Syft::DfaGameSynthesizer