Documentation
¶
Index ¶
- type Inconsistency
- type LStarTable
- func (ot LStarTable) AddExp(s interfaces.Sequence[T])
- func (ot LStarTable) AddToBlue(s interfaces.Sequence[T])
- func (ot LStarTable) AddToRed(s interfaces.Sequence[T])
- func (ot LStarTable) AppendObservations(s interfaces.Sequence[T], obs ...bool)
- func (l *LStarTable[T]) FindInconsistency(a interfaces.Alphabet[T]) (Inconsistency[T], bool)
- func (ot LStarTable) GetBlue() set.Set[interfaces.Sequence[T]]
- func (ot LStarTable) GetExp() []interfaces.Sequence[T]
- func (ot LStarTable) GetObservation(s interfaces.Sequence[T]) []bool
- func (ot LStarTable) GetObservations() dictionary.Dictionary[interfaces.Sequence[T], []bool]
- func (ot LStarTable) GetRed() set.Set[interfaces.Sequence[T]]
- func (l *LStarTable[T]) IsClosed() bool
- func (ot LStarTable) IsInBlue(s interfaces.Sequence[T]) bool
- func (ot LStarTable) IsInRed(s interfaces.Sequence[T]) bool
- func (ot LStarTable) MoveFromBlueToRed(s interfaces.Sequence[T])
- func (l *LStarTable[T]) SameRowExistsInRed(blueS interfaces.Sequence[T]) bool
- func (ot LStarTable) String() string
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Inconsistency ¶
type Inconsistency[T any] struct { Sequence1 interfaces.Sequence[T] Sequence2 interfaces.Sequence[T] Symbol interfaces.Symbol[T] DifferenceSequence interfaces.Sequence[T] }
type LStarTable ¶
type LStarTable[T any] struct { // contains filtered or unexported fields }
func NewLStarTable ¶
func NewLStarTable[T any]() *LStarTable[T]
func (LStarTable) AddExp ¶
func (ot LStarTable) AddExp(s interfaces.Sequence[T])
func (LStarTable) AddToBlue ¶
func (ot LStarTable) AddToBlue(s interfaces.Sequence[T])
func (LStarTable) AddToRed ¶
func (ot LStarTable) AddToRed(s interfaces.Sequence[T])
func (LStarTable) AppendObservations ¶
func (ot LStarTable) AppendObservations(s interfaces.Sequence[T], obs ...bool)
func (*LStarTable[T]) FindInconsistency ¶
func (l *LStarTable[T]) FindInconsistency(a interfaces.Alphabet[T]) (Inconsistency[T], bool)
func (LStarTable) GetExp ¶
func (ot LStarTable) GetExp() []interfaces.Sequence[T]
func (LStarTable) GetObservation ¶
func (ot LStarTable) GetObservation(s interfaces.Sequence[T]) []bool
func (LStarTable) GetObservations ¶
func (ot LStarTable) GetObservations() dictionary.Dictionary[interfaces.Sequence[T], []bool]
func (*LStarTable[T]) IsClosed ¶
func (l *LStarTable[T]) IsClosed() bool
func (LStarTable) IsInBlue ¶
func (ot LStarTable) IsInBlue(s interfaces.Sequence[T]) bool
func (LStarTable) IsInRed ¶
func (ot LStarTable) IsInRed(s interfaces.Sequence[T]) bool
func (LStarTable) MoveFromBlueToRed ¶
func (ot LStarTable) MoveFromBlueToRed(s interfaces.Sequence[T])
func (*LStarTable[T]) SameRowExistsInRed ¶
func (l *LStarTable[T]) SameRowExistsInRed(blueS interfaces.Sequence[T]) bool
Source Files
Click to show internal directories.
Click to hide internal directories.