Share via


Afa<TInput,TRegister,TAccumulator> Class

Definition

Class that describes an AFA completely, along with its properties.

public class Afa<TInput,TRegister,TAccumulator>
type Afa<'Input, 'Register, 'Accumulator> = class
Public Class Afa(Of TInput, TRegister, TAccumulator)

Type Parameters

TInput

The event type.

TRegister

The register type.

TAccumulator

The accumulator type.

Inheritance
Afa<TInput,TRegister,TAccumulator>
Derived

Constructors

Afa<TInput,TRegister,TAccumulator>(TRegister, TAccumulator)

Create a new instance of an AFA object.

Fields

_isSealed

AFA is sealed or not.

Properties

StartState

Start state of the AFA.

Methods

AddEpsilonElementArc(Int32, Int32)

Adds an epsilon (no action) arc to the AFA

AddFinalState(Int32)

Add a final state to the AFA.

AddListElementArc(Int32, Int32, Expression<Func<Int64,List<TInput>,TRegister,Boolean>>, Expression<Func<Int64,List<TInput>,TRegister,TRegister>>)

Adds a transition to the AFA triggered by a list of concurrent elements

AddMultiElementArc(Int32, Int32, Expression<Func<Int64,TRegister, TAccumulator>>, Expression<Func<Int64,TInput,TRegister,TAccumulator, TAccumulator>>, Expression<Func<Int64,TInput,TAccumulator,Boolean>>, Expression<Func<Int64,TAccumulator,TRegister,Boolean>>, Expression<Func<Int64, TAccumulator,TRegister,TRegister>>, Expression<Action<TAccumulator>>)

Adds a transition that handles multiple elements (events) at a given timestamp

AddSingleElementArc(Int32, Int32, Expression<Func<Int64,TInput,TRegister,Boolean>>, Expression<Func<Int64,TInput,TRegister,TRegister>>)

Adds a transition to the AFA triggered by a single element

Clone()

Takes the current AFA object and performs a deep copy

RemoveFinalState(Int32)

Remove a final state from the AFA.

SetDefaultRegister(TRegister)

Set default value of register.

ToString()

Returns a string representation of the AFA

Applies to