A symbolic tranducer representing a winning strategy for a game. More...

#include <Transducer.h>

Public Member Functions
	Transducer (const std::shared_ptr< VarMgr > &var_mgr, const std::vector< int > &initial_vector, const std::unordered_map< int, CUDD::BDD > &output_function, const std::vector< CUDD::BDD > &transition_function, Player starting_player, Player protagonist_player=Player::Agent)

void	dump_dot (const std::string &filename) const
	Saves the output function of the transducer in a .dot file.

Detailed Description

A symbolic tranducer representing a winning strategy for a game.

May be either a Moore or Mealy machine.

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

Public Member Functions