Click or drag to resize
MicrosoftResearch.Infer.Distributions.Automata Namespace
Microsoft Research
Infer.NET automata
Classes
  ClassDescription
Public classAutomataMath
Contains math routines extensively used in weighted automata library.
Public classAutomatonTSequence, TElement, TElementDistribution, TSequenceManipulator, TThis
Abstract base class for a weighted finite state automaton. It can be viewed as a function that maps arbitrary sequences of elements to real values.
Public classAutomatonTSequence, TElement, TElementDistribution, TSequenceManipulator, TThisCondensation
Represents a condensation of the graph of an automaton.
Public classAutomatonTSequence, TElement, TElementDistribution, TSequenceManipulator, TThisEpsilonClosure
Represents the epsilon closure of a state.
Public classAutomatonTSequence, TElement, TElementDistribution, TSequenceManipulator, TThisState
Represents a state of the automaton.
Public classAutomatonTSequence, TElement, TElementDistribution, TSequenceManipulator, TThisStronglyConnectedComponent
Represents a strongly connected component of an automaton graph.
Public classAutomatonBasedSequenceDistributionFormatBase
A base class for implementations of ISequenceDistributionFormat that use IAutomatonFormat.
Public classAutomatonFormats
A collection of automaton formats.
Public classGraphVizAutomatonFormat
Converts a given automaton to the GraphViz format, which can be then visualized using, for example, this tool.
Public classListAutomatonTList, TElement, TElementDistribution
Public classListAutomatonTList, TElement, TElementDistribution, TThis
Public classListManipulatorTList, TElement
Public classPairDistributionTElement, TElementDistribution
This class can represent distributions over pairs of two types: a factorized P(x, y) = P(x) P(y), and correlated P(x, y) \propto P(x) P(y) I[x=y]. Both elements of a pair must be of the same type.
Public classPairDistributionTElement1, TElementDistribution1, TElement2, TElementDistribution2
Represents a factorized distribution over pairs of elements P(x, y) = P(x)P(y). Pair elements x and y can be of different types.
Public classPairDistributionBaseTElement1, TElementDistribution1, TElement2, TElementDistribution2, TThis
A base class for distributions over pairs of elements used to specify transducers.
Public classRegexpAutomatonFormat
Converts a given automaton to a regular expression (or a regular expression-like string) corresponding to the support of the automaton.
Public classRegexpFormattingSettings
The formatting settings used by the RegexpAutomatonFormat class.
Public classRegexpTreeBuilder
Contains methods for converting automata into regular expressions.
Public classRegexpTreeNodeTElement
Represents a node in the tree describing a regular expression.
Public classSequenceDistributionFormatPointMassAsAutomaton
An implementation of AutomatonBasedSequenceDistributionFormatBase, which works on a given distribution as follows:
  • If the distribution is not a point mass, applies the underlying automaton format to the probability function.
  • If the distribution is a point mass, applies the underlying automaton format to the automaton representation of the point.
Public classSequenceDistributionFormatPointMassAsString
An implementation of AutomatonBasedSequenceDistributionFormatBase, which works on a given distribution as follows:
Public classStringAutomaton
Represents an automaton defined on String.
Public classStringManipulator
Provides the ability to manipulate strings.
Public classStringTransducer
Represents a transducer defined on pairs of strings.
Public classTransducerTSrcSequence, TSrcElement, TSrcElementDistribution, TSrcSequenceManipulator, TSrcAutomaton, TDestSequence, TDestElement, TDestElementDistribution, TDestSequenceManipulator, TDestAutomaton, TThis
A base class for weighted finite state transducers that are defined on sequences of different types.
Public classTransducerTSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton, TThis
A base class for weighted finite state transducers that are defined on sequences of the same type.
Public classTransducerBaseTSrcSequence, TSrcElement, TSrcElementDistribution, TSrcSequenceManipulator, TSrcAutomaton, TDestSequence, TDestElement, TDestElementDistribution, TDestSequenceManipulator, TDestAutomaton, TPairDistribution, TThis
A base class for weighted finite state transducers.
Structures
Interfaces
  InterfaceDescription
Public interfaceIAutomatonFormat
An interface for classes implementing various methods of representing automata as strings.
Public interfaceISequenceDistributionFormat
An interface for classes implementing various methods of representing sequence distributions as strings.
Public interfaceISequenceManipulatorTSequence, TElement
An interface for classes that provide functionality to manipulate sequences of a certain type.
Enumerations
  EnumerationDescription
Public enumerationRegexpTreeNodeType
Represents a type of a regular expression tree node. The value of an enumeration element corresponds to the priority of the operation it describes.