ConflictSolver

package

Go to main page

Versions in this module

v0

v0.1.19

Jul 15, 2024

Changes in this version

type ActAccept

+ Original *gr.Production[T]

+ func NewActAccept[T gr.TokenTyper](rule *gr.Production[T]) *ActAccept[T]

type ActReduce

+ Original *gr.Production[T]

type Action

+ func (a *Action[T]) ActionSize() int

+ func (a *Action[T]) Copy() uc.Copier

type Actioner

+ ActionSize func() int

type HelperElem

+ AppendRhs func(symbol T)

+ type HelperNode struct

+ Action HelperElem[T]

+ FirstChild *HelperNode[T]

+ LastChild *HelperNode[T]

+ NextSibling *HelperNode[T]

+ Parent *HelperNode[T]

+ PrevSibling *HelperNode[T]

+ func NewHelperNode[T gr.TokenTyper](item *Item[T], action HelperElem[T]) *HelperNode[T]

+ func (h *HelperNode[T]) ActionSize() int

+ func (h *HelperNode[T]) AppendRhs(symbol T)

+ func (h *HelperNode[T]) EvaluateLookahead() error

+ func (h *HelperNode[T]) ForceLookahead(lookahead T)

+ func (h *HelperNode[T]) GetAction() HelperElem[T]

+ func (h *HelperNode[T]) GetLookahead() (T, bool)

+ func (h *HelperNode[T]) Match(top *gr.Token[T], stack *ud.History[lls.Stacker[*gr.Token[T]]]) error

+ func (h *HelperNode[T]) ReplaceRhsAt(index int, rhs T) *HelperNode[T]

+ func (h *HelperNode[T]) SetAction(action HelperElem[T])

+ func (h *HelperNode[T]) SubstituteRhsAt(index int, other_helper *HelperNode[T]) *HelperNode[T]

+ func (tn *HelperNode[T]) AddChild(child treenode.Noder)

+ func (tn *HelperNode[T]) AddChildren(children []*HelperNode[T])

+ func (tn *HelperNode[T]) Cleanup()

+ func (tn *HelperNode[T]) Copy() common.Copier

+ func (tn *HelperNode[T]) DeleteChild(target treenode.Noder) []treenode.Noder

+ func (tn *HelperNode[T]) GetAncestors() []treenode.Noder

+ func (tn *HelperNode[T]) GetChildren() []treenode.Noder

+ func (tn *HelperNode[T]) GetFirstChild() treenode.Noder

+ func (tn *HelperNode[T]) GetFirstSibling() *HelperNode[T]

+ func (tn *HelperNode[T]) GetLastSibling() *HelperNode[T]

+ func (tn *HelperNode[T]) GetLeaves() []treenode.Noder

+ func (tn *HelperNode[T]) GetParent() treenode.Noder

+ func (tn *HelperNode[T]) HasChild(target *HelperNode[T]) bool

+ func (tn *HelperNode[T]) IsChildOf(target *HelperNode[T]) bool

+ func (tn *HelperNode[T]) IsLeaf() bool

+ func (tn *HelperNode[T]) IsRoot() bool

+ func (tn *HelperNode[T]) IsSingleton() bool

+ func (tn *HelperNode[T]) Iterator() common.Iterater[treenode.Noder]

+ func (tn *HelperNode[T]) LinkChildren(children []treenode.Noder)

+ func (tn *HelperNode[T]) RemoveNode() []treenode.Noder

+ func (tn *HelperNode[T]) SetParent(parent treenode.Noder) bool

+ func (tn *HelperNode[T]) Size() int

+ func (tn *HelperNode[T]) String() string

+ type HelperNodeIterator struct

+ func (iter *HelperNodeIterator[T]) Consume() (treenode.Noder, error)

+ func (iter *HelperNodeIterator[T]) Restart()

v0.1.18

Jul 6, 2024

v0.1.17

Jun 24, 2024

v0.1.16

Jun 19, 2024

v0.1.15

Jun 19, 2024

v0.1.14

Jun 19, 2024

v0.1.13

Jun 19, 2024

v0.1.12

Jun 15, 2024

v0.1.11

Jun 14, 2024

v0.1.10

Jun 9, 2024

Changes in this version

+ func FilterNonTerminalLeaf(tn *tr.TreeNode[*Helper]) bool

+ func MatchAction(a Actioner, top gr.Tokener, stack *ds.DoubleStack[gr.Tokener]) error

type ActReduce

+ func (a *ActReduce) GetOriginal() *gr.Production

+ func (a *ActReduce) ShouldAccept() bool

+ type Action struct

+ func (a *Action) AppendRhs(rhs string)

+ func (a *Action) GetLookahead() *string

+ func (a *Action) Iterator() ui.Iterater[string]

+ func (a *Action) SetLookahead(lookahead *string)

+ func (a *Action) Size() int

+ func (a *Action) String() string

type Actioner

+ GetLookahead func() *string

+ Iterator func() ui.Iterater[string]

type Helper

+ func (h *Helper) ForceLookahead(lookahead string)

+ func (h *Helper) SubstituteRhsAt(index int, otherH *Helper) *Helper

+ type HelperElem interface

+ SetLookahead func(lookahead *string)

type InfoStruct

+ func (is *InfoStruct) IsNotSeen(h *Helper) bool

+ func (is *InfoStruct) SetSeen(h *Helper)

type Item

+ func (item *Item) SubstituteRhsAt(index int, otherI *Item) *Item

+ type RuleTable struct

+ func NewRuleTable(symbols []string, rules []*gr.Production) *RuleTable

+ func (rt *RuleTable) GetBucketsCopy() map[string]*uts.Bucket[*Helper]

v0.1.9

May 21, 2024

Changes in this version

type Helper

+ func (h *Helper) GetAction() Actioner

+ func (h *Helper) Match(top gr.Tokener, stack *ds.DoubleStack[gr.Tokener]) error

+ func (h *Helper) Size() int

v0.1.8

May 10, 2024

Changes in this version

+ var GlobalDebugMode bool = true

+ func FilterNonShiftHelper(h *Helper) bool

+ func FilterTerminalLeaf(tn *tr.TreeNode[*Helper]) bool

+ func HResultWeightFunc(h hlp.HResult[Actioner]) (float64, bool)

+ type ActAccept struct

+ Rhs []string

+ Rule *gr.Production

+ func NewAcceptAction(rule *gr.Production) (*ActAccept, error)

+ func (a *ActAccept) AppendRhs(rhs string)

+ func (a *ActAccept) Copy() intf.Copier

+ func (a *ActAccept) GetRule() *gr.Production

+ func (a *ActAccept) Match(top gr.Tokener, stack *ds.DoubleStack[gr.Tokener]) error

+ func (a *ActAccept) Size() int

+ func (a *ActAccept) String() string

+ type ActReduce struct

+ Rhs []string

+ Rule *gr.Production

+ func NewActReduce(rule *gr.Production) (*ActReduce, error)

+ func (a *ActReduce) AppendRhs(rhs string)

+ func (a *ActReduce) Copy() intf.Copier

+ func (a *ActReduce) GetRule() *gr.Production

+ func (a *ActReduce) Match(top gr.Tokener, stack *ds.DoubleStack[gr.Tokener]) error

+ func (a *ActReduce) Size() int

+ func (a *ActReduce) String() string

+ type ActShift struct

+ Lookahead *string

+ Rhs []string

+ func NewActShift() *ActShift

+ func (a *ActShift) AppendRhs(rhs string)

+ func (a *ActShift) Copy() intf.Copier

+ func (a *ActShift) Match(top gr.Tokener, stack *ds.DoubleStack[gr.Tokener]) error

+ func (a *ActShift) SetLookahead(lookahead *string)

+ func (a *ActShift) Size() int

+ func (a *ActShift) String() string

+ type Actioner interface

+ AppendRhs func(rhs string)

+ Match func(top gr.Tokener, stack *ds.DoubleStack[gr.Tokener]) error

+ Size func() int

+ type CMPerSymbol map[string]*cds.Pair[[]*Helper, int]

+ type ConflictSolver struct

+ func NewConflictSolver(symbols []string, rules []*gr.Production) (*ConflictSolver, error)

+ func SolveConflicts(symbols []string, rules []*gr.Production) (*ConflictSolver, error)

+ func (cs *ConflictSolver) AppendHelper(h *Helper)

+ func (cs *ConflictSolver) CheckIfLookahead0(index int, h *Helper) ([]*Helper, error)

+ func (cs *ConflictSolver) DeleteHelper(h *Helper)

+ func (cs *ConflictSolver) FString(indentLevel int) []string

+ func (cs *ConflictSolver) FindConflicts() CMPerSymbol

+ func (cs *ConflictSolver) GetElemsWithLhs(rhs string) []*Helper

+ func (cs *ConflictSolver) Init(symbol string) error

+ func (cs *ConflictSolver) MakeExpansionForests(index int, nextRhs map[*Helper]string) (map[*Helper][]string, error)

+ func (cs *ConflictSolver) Match(stack *ds.DoubleStack[gr.Tokener]) ([]Actioner, error)

+ func (cs *ConflictSolver) Solve() error

+ func (cs *ConflictSolver) SolveAmbiguous(index int, conflicts []*Helper) (bool, error)

+ func (cs *ConflictSolver) SolveAmbiguousShifts() error

+ type Err0thRhsNotSet struct

+ func NewErr0thRhsNotSet() *Err0thRhsNotSet

+ func (e *Err0thRhsNotSet) Error() string

+ type ErrAmbiguousGrammar struct

+ func NewErrAmbiguousGrammar() *ErrAmbiguousGrammar

+ func (e *ErrAmbiguousGrammar) Error() string

+ type ErrCannotCreateItem struct

+ func NewErrCannotCreateItem() *ErrCannotCreateItem

+ func (e *ErrCannotCreateItem) Error() string

+ type ErrHelper struct

+ Elem *Helper

+ Reason error

+ func NewErrHelper(elem *Helper, reason error) *ErrHelper

+ func (e *ErrHelper) Error() string

+ type ErrHelpersConflictingSize struct

+ func NewErrHelpersConflictingSize() *ErrHelpersConflictingSize

+ func (e *ErrHelpersConflictingSize) Error() string

+ type ErrInvalidPosition struct

+ func NewErrInvalidPosition() *ErrInvalidPosition

+ func (e *ErrInvalidPosition) Error() string

+ type ErrItemIsNil struct

+ func NewErrItemIsNil() *ErrItemIsNil

+ func (e *ErrItemIsNil) Error() string

+ type ErrNoActionProvided struct

+ func NewErrNoActionProvided() *ErrNoActionProvided

+ func (e *ErrNoActionProvided) Error() string

+ type ErrNoElementsFound struct

+ Symbol string

+ func NewErrNoElementsFound(symbol string) *ErrNoElementsFound

+ func (e *ErrNoElementsFound) Error() string

+ type ExpansionTree struct

+ func NewExpansionTreeRootedAt(cs *ConflictSolver, h *Helper) (*ExpansionTree, error)

+ func (et *ExpansionTree) Collapse() []string

+ func (et *ExpansionTree) PruneNonTerminalLeaves()

+ func (et *ExpansionTree) Size() int

+ type Helper struct

+ Action Actioner

+ func NewHelper(item *Item, action Actioner) (*Helper, error)

+ func (h *Helper) AppendRhs(symbol string) error

+ func (h *Helper) Copy() intf.Copier

+ func (h *Helper) EvaluateLookahead()

+ func (h *Helper) GetLookahead() *string

+ func (h *Helper) Init(symbol string) error

+ func (h *Helper) IsShift() bool

+ func (h *Helper) ReplaceRhsAt(index int, otherH *Helper) (*Helper, error)

+ func (h *Helper) SetAction(action Actioner)

+ func (h *Helper) String() string

+ type InfoStruct struct

+ func NewInfoStruct(root *Helper) (*InfoStruct, error)

+ func (is *InfoStruct) Copy() intf.Copier

+ type Item struct

+ Pos int

+ Rule *gr.Production

+ func NewItem(rule *gr.Production, pos int) (*Item, error)

+ func (i *Item) Copy() intf.Copier

+ func (i *Item) String() string

+ func (item *Item) GetPos() int

+ func (item *Item) GetRhs() string

+ func (item *Item) GetRhsAt(index int) (string, error)

+ func (item *Item) GetRule() *gr.Production

+ func (item *Item) GetSymbolsUpToPos() []string

+ func (item *Item) IndicesOfRhs(rhs string) []int

+ func (item *Item) IsLhsRhs(rhs string) bool

+ func (item *Item) IsReduce() bool

+ func (item *Item) ReplaceRhsAt(index int, otherI *Item) (*Item, error)

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL