transducer-layer.h

#include <iostream>
using std::cin;
using std::cout;





typedef TransducerHandle TransducerHandle;






TransducerHandle create_empty_transducer();


TransducerHandle create_epsilon_transducer();


TransducerHandle define_transducer( Key k );


TransducerHandle define_transducer( KeyPair *p );


TransducerHandle define_transducer( KeySet *ks );


TransducerHandle define_transducer( KeyPairSet *Pi );


KeyPairSet *define_keypair_set( TransducerHandle t );


KeySet *define_key_set( TransducerHandle t );


TransducerHandle add_weight( TransducerHandle t, float w );


void delete_transducer( TransducerHandle t );










TransducerHandle compose( TransducerHandle t1, TransducerHandle t2, bool destructive=true );


TransducerHandle concatenate( TransducerHandle t1, TransducerHandle t2 );


TransducerHandle copy(TransducerHandle t);


TransducerHandle disjunct( TransducerHandle t1, TransducerHandle t2 );


TransducerHandle disjunct_transducers_as_tries( TransducerHandle t1, TransducerHandle t2 );

TransducerHandle disjunct_as_trie( TransducerHandle t, KeyVector * key_string, float weight=0, bool sum_weights=false );

TransducerHandle disjunct_as_trie( TransducerHandle t, 
                                   KeyPairVector * key_pair_string, float weight=0, bool sum_weights=false );

TransducerHandle extract_input_language( TransducerHandle t );


TransducerHandle extract_output_language( TransducerHandle t );


TransducerHandle intersect( TransducerHandle t1, TransducerHandle t2 );


TransducerHandle intersecting_composition( TransducerHandle t, vector<TransducerHandle> * v, KeyTable * kt=NULL);

TransducerHandle invert( TransducerHandle t );


TransducerHandle negate( TransducerHandle t, KeyPairSet *Pi );


TransducerHandle optionalize( TransducerHandle t );


TransducerHandle repeat_le_n( TransducerHandle t, int n );


TransducerHandle repeat_n( TransducerHandle t, int n );


TransducerHandle repeat_plus( TransducerHandle t );


TransducerHandle repeat_star( TransducerHandle t );


TransducerHandle reverse( TransducerHandle t );


TransducerHandle subtract( TransducerHandle t1, TransducerHandle t2 );







TransducerHandle add_input_language( TransducerHandle t, KeyPairSet *Pi );

TransducerHandle add_output_language( TransducerHandle t, KeyPairSet *Pi );

TransducerHandle insert_freely( TransducerHandle t, KeyPair *p );

TransducerHandle remove_pair (TransducerHandle t, KeyPair *p); 

TransducerHandle remove_pairs (TransducerHandle t, KeySet *ks); 

TransducerHandle shuffle( TransducerHandle t1, TransducerHandle t2 );

TransducerHandle substitute_key( TransducerHandle t, Key k1, Key k2, bool ignore_epsilon_pairs=false ); 

TransducerHandle substitute_key( TransducerHandle t, KeySet *ks, Key k2 ); 

TransducerHandle substitute_with_pair ( TransducerHandle t, KeyPair *p1, KeyPair *p2); 

TransducerHandle substitute_with_transducer ( TransducerHandle t, KeyPair *p, TransducerHandle tr); 










TransducerHandle determinize( TransducerHandle t );


vector<TransducerHandle> find_all_paths( TransducerHandle t, bool unique=false );


TransducerHandle find_best_paths(TransducerHandle t, int n, bool unique=false);


TransducerHandle find_random_paths(TransducerHandle t, int max_number, bool unique=false);


TransducerHandle minimize( TransducerHandle t );


TransducerHandle push_weights( TransducerHandle t, bool initial );



TransducerHandle modify_weights( TransducerHandle t, float(*modify)(float), bool modify_transition_weights=false );


TransducerHandle remove_epsilons( TransducerHandle t );


/* \brief Convert an unweighted transducer to a weighted one. 

@param t An unweighted transducer (of type %HFST::%TransducerHandle)
@return An equivalent weighted transducer (of type %HWFST::%TransducerHandle) with all weights initialized to zero
@post \a t is not deleted.
*/

//TransducerHandle unweighted_to_weighted( TransducerHandle t );


/* \brief Convert a weighted transducer to an unweighted one. 

@param t A weighted transducer (of type %HWFST::%TransducerHandle)
@return An equivalent unweighted transducer (of type %HFST::%TransducerHandle)
@post \a t is not deleted.
*/

//TransducerHandle weighted_to_unweighted( TransducerHandle t );








bool are_equivalent(TransducerHandle t1, TransducerHandle t2);


bool are_disjoint( TransducerHandle t1, TransducerHandle t2 );


float get_weight(TransducerHandle t);


bool is_automaton(TransducerHandle t);


bool is_cyclic(TransducerHandle t);


bool is_infinitely_ambiguous(TransducerHandle t, bool output=true, KeyVector *kv=NULL);

bool is_deterministic( TransducerHandle t );


bool is_empty(TransducerHandle t);


bool is_epsilon(TransducerHandle t);


bool is_minimal( TransducerHandle t );


bool is_subset( TransducerHandle t1, TransducerHandle t2 );


KeyVectorVector * lookup_all(TransducerHandle t,
                             vector<Key> * input_string );

KeyVector * lookup_first(TransducerHandle t,
                         vector<Key> * input_string );












int read_format( istream &is=cin );

TransducerHandle read_transducer( istream &is=cin );

TransducerHandle read_transducer( const char *filename );

TransducerHandle read_transducer_number(istream &is);

void write_transducer( TransducerHandle t, ostream &os=cout, bool backwards_compatibility=false );

void write_transducer( TransducerHandle t, const char *filename, bool backwards_compatibility=false );


void print_transducer_number( TransducerHandle t, bool print_weights=true, ostream &os=cout );


void display_symbols( TransducerHandle t);
TransducerHandle read_runtime_transducer( FILE * f );

//TransducerHandle filter_epsilon_paths( TransducerHandle t );
// this is used in push-weights...
//TransducerHandle push_labels( TransducerHandle t, bool initial );

---