/usr/include/hfst/implementations/SfstTransducer.h is in libhfst-dev 3.13.0~r3461-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 | // Copyright (c) 2016 University of Helsinki
//
// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public
// License as published by the Free Software Foundation; either
// version 3 of the License, or (at your option) any later version.
// See the file COPYING included with this distribution for more
// information.
#ifndef _SFST_TRANSDUCER_H_
#define _SFST_TRANSDUCER_H_
#include "HfstExceptionDefs.h"
#include "HfstFlagDiacritics.h"
#include "HfstSymbolDefs.h"
#include "HfstExtractStrings.h"
namespace SFST { class Transducer; typedef short unsigned int Character; class Alphabet; class Label; }
#include <cstdio>
#include <string>
#include <sstream>
#include <iosfwd>
/** @file SfstTransducer.h
\brief Declarations of functions and datatypes that form a bridge between
HFST API and SFST. */
namespace hfst {
namespace implementations
{
typedef SFST::Transducer Transducer;
using std::ostream;
using std::ostringstream;
class SfstInputStream
{
private:
std::string filename;
FILE * input_file;
bool is_minimal; // whether the next transducer in the stream is minimal
// this can be said in the header
void add_symbol(StringNumberMap &string_number_map,
SFST::Character c,
SFST::Alphabet &alphabet);
public:
SfstInputStream(void);
SfstInputStream(const std::string &filename);
void close(void);
bool is_eof(void);
bool is_bad(void);
bool is_good(void);
bool is_fst(void);
void ignore(unsigned int);
char stream_get();
short stream_get_short();
void stream_unget(char c);
bool set_implementation_specific_header_data
(StringPairVector &data, unsigned int index);
SFST::Transducer * read_transducer();
static bool is_fst(FILE * f);
static bool is_fst(std::istream &s);
};
class SfstOutputStream
{
private:
std::string filename;
FILE *ofile;
public:
SfstOutputStream(void);
SfstOutputStream(const std::string &filename);
void close(void);
void write(const char &c);
void append_implementation_specific_header_data
(std::vector<char> &header, SFST::Transducer *t);
void write_transducer(SFST::Transducer * transducer);
};
void sfst_set_hopcroft(bool);
class SfstTransducer
{
#if HAVE_SFST
public:
static SFST::Transducer * create_empty_transducer(void);
static SFST::Transducer * create_epsilon_transducer(void);
static SFST::Transducer * define_transducer(unsigned int number);
static SFST::Transducer * define_transducer
(unsigned int inumber, unsigned int onumber);
static SFST::Transducer * define_transducer(const std::string &symbol);
static SFST::Transducer * define_transducer
(const std::string &isymbol, const std::string &osymbol);
static SFST::Transducer * define_transducer
(const StringPairVector &spv);
static SFST::Transducer * define_transducer
(const StringPairSet &sps, bool cyclic=false);
static SFST::Transducer * define_transducer
(const std::vector<StringPairSet> &spsv);
static SFST::Transducer * copy(SFST::Transducer * t);
static SFST::Transducer * determinize(SFST::Transducer * t);
static SFST::Transducer * minimize(SFST::Transducer * t);
static SFST::Transducer * remove_epsilons(SFST::Transducer * t);
static SFST::Transducer * repeat_star(SFST::Transducer * t);
static SFST::Transducer * repeat_plus(SFST::Transducer * t);
static SFST::Transducer * repeat_n(SFST::Transducer * t,unsigned int n);
static SFST::Transducer * repeat_le_n(SFST::Transducer * t,unsigned int n);
static SFST::Transducer * optionalize(SFST::Transducer * t);
static SFST::Transducer * invert(SFST::Transducer * t);
static SFST::Transducer * reverse(SFST::Transducer * transducer);
static SFST::Transducer * extract_input_language(SFST::Transducer * t);
static SFST::Transducer * extract_output_language(SFST::Transducer * t);
static std::vector<SFST::Transducer*> extract_path_transducers
(SFST::Transducer *t);
static void extract_paths
(SFST::Transducer * t, hfst::ExtractStringsCb& callback, int cycles=-1,
FdTable<SFST::Character>* fd=NULL, bool filter_fd=false);
static void extract_random_paths
(SFST::Transducer *t, HfstTwoLevelPaths &results, int max_num);
static SFST::Transducer * insert_freely
(SFST::Transducer *t , const StringPair &symbol_pair);
static SFST::Transducer * substitute
(SFST::Transducer * t, String old_symbol, String new_symbol);
static SFST::Transducer * substitute
(SFST::Transducer *t, const StringPair &symbol_pair, SFST::Transducer *tr);
static SFST::Transducer * compose(SFST::Transducer * t1,
SFST::Transducer * t2);
static SFST::Transducer * concatenate(SFST::Transducer * t1,
SFST::Transducer * t2);
static SFST::Transducer * disjunct(SFST::Transducer * t1,
SFST::Transducer * t2);
static SFST::Transducer * intersect(SFST::Transducer * t1,
SFST::Transducer * t2);
static SFST::Transducer * subtract(SFST::Transducer * t1,
SFST::Transducer * t2);
static std::pair<SFST::Transducer*, SFST::Transducer*> harmonize
(SFST::Transducer *t1, SFST::Transducer *t2, bool unknown_symbols_in_use=true);
static bool are_equivalent(SFST::Transducer * t1, SFST::Transducer * t2);
static bool is_cyclic(SFST::Transducer * t);
static bool is_automaton(SFST::Transducer * t);
static FdTable<SFST::Character>* get_flag_diacritics(SFST::Transducer * t);
static void print_test(SFST::Transducer *t);
static void print_alphabet(SFST::Transducer *t);
static SFST::Transducer * disjunct(SFST::Transducer * t, const StringPairVector &spv);
static StringPairSet get_symbol_pairs(SFST::Transducer *t);
float get_profile_seconds();
static unsigned int number_of_states(SFST::Transducer *t);
static unsigned int number_of_arcs(SFST::Transducer *t);
static void insert_to_alphabet(SFST::Transducer *t, const std::string &symbol);
static void remove_from_alphabet
(SFST::Transducer *t, const std::string &symbol);
protected:
static void initialize_alphabet(SFST::Transducer *t);
static SFST::Transducer * expand_arcs(SFST::Transducer * t, StringSet &unknown);
static void expand_node( SFST::Transducer *t, SFST::Node *origin, SFST::Label &l,
SFST::Node *target, hfst::StringSet &s );
static void expand2
( SFST::Transducer *t, SFST::Node *node,
hfst::StringSet &new_symbols, std::set<SFST::Node*> &visited_nodes );
static void expand(SFST::Transducer *t, hfst::StringSet &new_symbols);
#endif
// needed in transducer format conversions
public:
static void delete_transducer(SFST::Transducer * t);
static unsigned int get_symbol_number(SFST::Transducer *t,
const std::string &symbol);
static StringSet get_alphabet(SFST::Transducer *t);
static unsigned int get_biggest_symbol_number(SFST::Transducer * t);
static StringVector get_symbol_vector(SFST::Transducer * t);
static std::map<std::string, unsigned int> get_symbol_map(SFST::Transducer * t);
};
} }
#endif
|