Versions in this module Expand all Collapse all v1 v1.0.0 May 30, 2021 Changes in this version + const ACCEPTING + const REJECTING + const UNLABELLED + var SymbolAlphabetMappingAbbadingo = map[int]string + func AbbadingoDataset(dfa DFA, sparsityPercentage float64, testingRatio float64) (Dataset, Dataset) + func AbbadingoDatasetExact(dfa DFA, trainingSetSize int, testingSetSize int) (Dataset, Dataset) + func AbbadingoInstance(numberOfStates int, exact bool, sparsityPercentage float64, ...) (DFA, Dataset, Dataset) + func AbbadingoInstanceExact(numberOfStates int, exact bool, trainingSetSize int, testingSetSize int) (DFA, Dataset, Dataset) + func BlueFringeEDSM(APTA DFA) (DFA, MergeData) + func BlueFringeEDSMFromDataset(dataset Dataset) (DFA, MergeData) + func BlueFringeSearchUsingScoringFunction(statePartition StatePartition, scoringFunction ScoringFunction) (StatePartition, MergeData) + func DefaultStaminaDataset(dfa DFA, sparsityPercentage float64) (Dataset, Dataset) + func DefaultStaminaInstance(alphabetSize, targetDFASize int, sparsityPercentage float64) (DFA, Dataset, Dataset) + func ExhaustiveEDSM(APTA DFA) (DFA, MergeData) + func ExhaustiveEDSMFromDataset(dataset Dataset) (DFA, MergeData) + func ExhaustiveSearchUsingScoringFunction(statePartition StatePartition, scoringFunction ScoringFunction) (StatePartition, MergeData) + func GRBM(statePartition StatePartition) (StatePartition, MergeData) + func GeneralizedRedBlueMerging(APTA DFA) (DFA, MergeData) + func GeneralizedRedBlueMergingFromDataset(dataset Dataset) (DFA, MergeData) + func GenerateBlueSetFromRedSetWithShuffle(statePartition *StatePartition, redSet map[int]util.Void) []int + func GenerateOrderedBlueSetFromRedSet(statePartition *StatePartition, redSet map[int]util.Void) []int + func RPNI(APTA DFA) (DFA, MergeData) + func RPNIFromDataset(dataset Dataset) (DFA, MergeData) + func RPNISearch(statePartition StatePartition) (StatePartition, MergeData) + func StaminaDataset(dfa DFA, sparsityPercentage float64, ...) (Dataset, Dataset) + func StaminaInstance(alphabetSize, targetDFASize int, sparsityPercentage float64, ...) (DFA, Dataset, Dataset) + func UpdateOrderedRedBlueSets(statePartition *StatePartition, redStates []int) ([]int, []int) + func UpdateRedBlueSets(statePartition *StatePartition, redStates *[]int) []int + func UpdateRedBlueSetsWithShuffle(statePartition *StatePartition, redStates *[]int) []int + func UpdateWindow(window []int, statePartition StatePartition) []int + func WindowedEDSM(APTA DFA, windowSize int, windowGrow float64) (DFA, MergeData) + func WindowedEDSMFromDataset(dataset Dataset, windowSize int, windowGrow float64) (DFA, MergeData) + func WindowedSearchUsingScoringFunction(statePartition StatePartition, windowSize int, windowGrow float64, ...) (StatePartition, MergeData) + type Block struct + Changed bool + Label StateLabel + Link int + Root int + Size int + Transitions []int + type DFA struct + Alphabet []int + StartingStateID int + States []State + func AbbadingoDFA(numberOfStates int, exact bool) DFA + func DFAFromJSON(filePath string) (DFA, bool) + func GetDFAFromStaminaFile(fileName string) DFA + func NewDFA() DFA + func StaminaDFA(alphabetSize int, targetDFASize int) DFA + func (dfa *DFA) AddSinkState() int + func (dfa *DFA) AddState(stateLabel StateLabel) int + func (dfa *DFA) AddSymbol() + func (dfa *DFA) AddTransition(symbol int, fromStateID int, toStateID int) + func (dfa *DFA) CalculateDepthAndOrder() + func (dfa *DFA) ChangeRejectingStatesToUnlabelled() + func (dfa *DFA) Depth() int + func (dfa *DFA) IndistinguishableStatePairs() []StateIDPair + func (dfa *DFA) OrderedStates() []int + func (dfa *DFA) RemoveNonAcceptingLeaves() + func (dfa *DFA) RemoveState(stateID int) + func (dfa *DFA) RemoveTransition(symbol int, fromStateID int) + func (dfa *DFA) RemoveUnreachableStates() + func (dfa *DFA) SetOrderAsID() DFA + func (dfa *DFA) ToDOT(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) + func (dfa DFA) AcceptingStates() []int + func (dfa DFA) AcceptingStatesCount() int + func (dfa DFA) Accuracy(dataset Dataset) float64 + func (dfa DFA) AllStates() []int + func (dfa DFA) Clone() DFA + func (dfa DFA) Describe(detail bool) + func (dfa DFA) Equal(dfa2 DFA) bool + func (dfa DFA) IsComplete() bool + func (dfa DFA) IsTree() bool + func (dfa DFA) IsValidPanic() + func (dfa DFA) IsValidSafe() bool + func (dfa DFA) LabelledStates() []int + func (dfa DFA) LabelledStatesCount() int + func (dfa DFA) LeavesCount() int + func (dfa DFA) LoopsCount() int + func (dfa DFA) Minimise() DFA + func (dfa DFA) RejectingStates() []int + func (dfa DFA) RejectingStatesCount() int + func (dfa DFA) SameAs(dfa2 DFA) bool + func (dfa DFA) StartingState() *State + func (dfa DFA) StructurallyComplete(dataset Dataset) bool + func (dfa DFA) SymmetricallyStructurallyComplete(dataset Dataset) bool + func (dfa DFA) ToJPG(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) bool + func (dfa DFA) ToJSON(filePath string) bool + func (dfa DFA) ToPDF(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) bool + func (dfa DFA) ToPNG(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) bool + func (dfa DFA) ToSVG(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) bool + func (dfa DFA) ToStaminaFile(filePath string) + func (dfa DFA) ToStatePartition() StatePartition + func (dfa DFA) TransitionsCount() int + func (dfa DFA) TransitionsCountForSymbol(symbol int) int + func (dfa DFA) UnknownStates() []int + func (dfa DFA) UnknownStatesCount() int + func (dfa DFA) UnreachableStates() []int + type Dataset []StringInstance + func DatasetFromJSON(filePath string) (Dataset, bool) + func GetDatasetFromAbbadingoFile(fileName string) Dataset + func GetDatasetFromStaminaFile(fileName string) Dataset + func (dataset Dataset) AcceptingStringInstances() Dataset + func (dataset Dataset) AcceptingStringInstancesCount() int + func (dataset Dataset) AcceptingStringInstancesRatio() float64 + func (dataset Dataset) Accuracy(dfa DFA) float64 + func (dataset Dataset) ConsistentWithDFA(dfa DFA) bool + func (dataset Dataset) ConsistentWithStatePartition(statePartition StatePartition) bool + func (dataset Dataset) Count() int + func (dataset Dataset) GetPTA(APTA bool) DFA + func (dataset Dataset) RejectingStringInstances() Dataset + func (dataset Dataset) RejectingStringInstancesCount() int + func (dataset Dataset) RejectingStringInstancesRatio() float64 + func (dataset Dataset) SameAs(dataset2 Dataset) bool + func (dataset Dataset) SortDatasetByLength() Dataset + func (dataset Dataset) StructurallyComplete(dfa DFA) bool + func (dataset Dataset) SymmetricallyStructurallyComplete(dfa DFA) bool + func (dataset Dataset) ToAbbadingoFile(filePath string) + func (dataset Dataset) ToJSON(filePath string) bool + func (dataset Dataset) ToStaminaFile(filePath string) + type MergeData struct + AttemptedMergesCount int + Duration time.Duration + Merges []StatePairScore + ValidMergesCount int + func (mergeData MergeData) AttemptedMergesPerSecond() float64 + func (mergeData MergeData) MergesCount() int + func (mergeData MergeData) ToJSON(filePath string) bool + type ScoringFunction func(stateID1, stateID2 int, partitionBefore, partitionAfter StatePartition) float64 + type State struct + Label StateLabel + Transitions []int + func (state *State) Depth() int + func (state *State) Order() int + func (state State) AllTransitionsExist() bool + func (state State) Clone() State + func (state State) DFA() *DFA + func (state State) InDegree(stateID int) int + func (state State) IsAccepting() bool + func (state State) IsLeaf() bool + func (state State) IsRejecting() bool + func (state State) IsUnknown() bool + func (state State) OutDegree() int + func (state State) TransitionExists(stateID int) bool + func (state State) TransitionsCount(stateID int) int + func (state State) ValidTransitions() []int + type StateIDPair struct + type StateLabel uint8 + type StatePairScore struct + Score float64 + State1 int + State2 int + type StatePartition struct + AcceptingBlocksCount int + AlphabetSize int + Blocks []Block + BlocksCount int + ChangedBlocks []int + ChangedBlocksCount int + IsCopy bool + RejectingBlocksCount int + StartingStateID int + func NewStatePartition(referenceDFA DFA) StatePartition + func StatePartitionFromJSON(filePath string) (StatePartition, bool) + func (statePartition *StatePartition) ChangedBlock(blockID int) + func (statePartition *StatePartition) CopyChangesFrom(copiedStatePartition *StatePartition) + func (statePartition *StatePartition) DepthOfBlocks() map[int]int + func (statePartition *StatePartition) Find(stateID int) int + func (statePartition *StatePartition) MergeStates(state1 int, state2 int) bool + func (statePartition *StatePartition) OrderOfBlocks() map[int]int + func (statePartition *StatePartition) OrderedBlocks() []int + func (statePartition *StatePartition) RollbackChangesFrom(originalStatePartition StatePartition) + func (statePartition *StatePartition) StartingBlock() int + func (statePartition *StatePartition) ToQuotientDFA() DFA + func (statePartition *StatePartition) ToQuotientDFAWithMapping() (DFA, map[int]int) + func (statePartition *StatePartition) Union(blockID1 int, blockID2 int) + func (statePartition *StatePartition) WithinSameBlock(stateID1 int, stateID2 int) bool + func (statePartition StatePartition) Clone() StatePartition + func (statePartition StatePartition) Copy() StatePartition + func (statePartition StatePartition) NumberOfLabelledBlocks() int + func (statePartition StatePartition) ReturnSet(blockID int) []int + func (statePartition StatePartition) RootBlocks() []int + func (statePartition StatePartition) ToDOT(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) + func (statePartition StatePartition) ToJPG(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) bool + func (statePartition StatePartition) ToJSON(filePath string) bool + func (statePartition StatePartition) ToPDF(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) bool + func (statePartition StatePartition) ToPNG(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) bool + func (statePartition StatePartition) ToSVG(filePath string, symbolMapping map[int]string, showOrder bool, topDown bool) bool + type StringInstance struct + Accepting bool + Value []int + func BinaryStringToStringInstance(dfa DFA, binaryString string) StringInstance + func NewStringInstanceFromAbbadingoFile(text string, delimiter string) StringInstance + func NewStringInstanceFromStaminaFile(text string, delimiter string) StringInstance + func (stringInstance StringInstance) ConsistentWithDFA(dfa DFA) bool + func (stringInstance StringInstance) ConsistentWithStatePartition(statePartition StatePartition) bool + func (stringInstance StringInstance) Length() int + func (stringInstance StringInstance) ParseToState(dfa DFA) (bool, int) + func (stringInstance StringInstance) ParseToStateLabel(dfa DFA) StateLabel + func (stringInstance StringInstance) WithinDataset(dataset Dataset) bool + type TeamOfAutomata struct + MergeData MergeData + Team []DFA + func AutomataTeams(APTA DFA, teamSize int) TeamOfAutomata + func AutomataTeamsFromDataset(dataset Dataset, teamSize int) TeamOfAutomata + func (teamOfAutomata TeamOfAutomata) Accuracy(dataset Dataset, ...) float64 + func (teamOfAutomata TeamOfAutomata) AverageNumberOfStates() int + func (teamOfAutomata TeamOfAutomata) BetterHalfWeightedVoteAccuracy(dataset Dataset) float64 + func (teamOfAutomata TeamOfAutomata) FairVoteAccuracy(dataset Dataset) float64 + func (teamOfAutomata TeamOfAutomata) WeightedVoteAccuracy(dataset Dataset) float64 + type TeamOfAutomataClassifierFunction func(stringInstance StringInstance) StateLabel + type Transition struct