Click or drag to resize
MicrosoftResearch.Infer.Distributions.Automata Namespace
Microsoft Research
Infer.NET automata
Classes
  ClassDescription
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 the condensation of an automaton graph.
Public classAutomatonTSequence, TElement, TElementDistribution, TSequenceManipulator, TThisEpsilonClosure
Represents the epsilon closure of a state.
Public classAutomatonTSequence, TElement, TElementDistribution, TSequenceManipulator, TThisState
Represents a state of an automaton.
Public classAutomatonTSequence, TElement, TElementDistribution, TSequenceManipulator, TThisStronglyConnectedComponent
Represents a strongly connected component of an automaton graph.
Public classAutomatonTSequence, TElement, TElementDistribution, TSequenceManipulator, TThisUnlimitedStatesComputation
Temporarily allow for large automata.
Public classAutomatonBasedSequenceDistributionFormatBase
A base class for implementations of ISequenceDistributionFormat that use IAutomatonFormat.
Public classAutomatonEnumerationCountException
The exception that is thrown when an enumeration becomes too large.
Public classAutomatonException
The exception that is thrown when an automaton-related error occurs.
Public classAutomatonFormats
A collection of automaton formats.
Public classAutomatonTooLargeException
The exception that is thrown when a new state cannot be added to an automaton because it has too many states already.
Public classGraphVizAutomatonFormat
Converts a given automaton to its GraphViz description.
Public classListAutomatonTElement, TElementDistribution
An automaton defined on generic lists.
Public classListAutomatonTList, TElement, TElementDistribution
Public classListAutomatonTList, TElement, TElementDistribution, TThis
Public classListManipulatorTList, TElement
Public classListTransducerTElement, TElementDist
Represents a transducer defined on pairs of lists.
Public classListTransducerTList, TElement, TElementDist
Represents a transducer defined on pairs of lists.
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 a weighted finite state 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 enumerationDistributionKind
Type of distribution.
Public enumerationRegexpTreeNodeType
Represents the type of a regular expression tree node. The value of an enumeration element corresponds to the priority of the operation it describes.