rewriters

package

v0.0.0-...-2a7d15f Latest Latest Go to latest Published: Nov 24, 2023 License: MIT Imports: 8 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

This section is empty.

This section is empty.

This section is empty.

type CoqRewriter struct {
	TextRewriter
}

func NewCoqRewriter(tr TextRewriter) *CoqRewriter

func (cr *CoqRewriter) GetTextVersion() string

type LatexRewriter struct {
	TextRewriter
}

func NewLatexRewriter(tr TextRewriter) *LatexRewriter

func (lr *LatexRewriter) GetTextVersion() string

func (lr *LatexRewriter) Rewrite(proofScript string)

type Rewriter interface {
	Rewrite(proofScript string)
}

type TextRewriter struct {
	InputsOutputs []*coq.InputOutput
	// contains filtered or unexported fields
}

func NewTextRewriter(rewritingBundle map[string]string) *TextRewriter

func (tr *TextRewriter) ExtractInformation(proofScript string)

func (tr *TextRewriter) GenerateScriptWithUnfoldedAutos(inputsOutputs []*coq.InputOutput) string

func (tr *TextRewriter) GetProofGlobalGoal() *coq.Goal

func (tr *TextRewriter) GetTextVersion() string

func (r *TextRewriter) OutputGraphAsDot() string

func (r *TextRewriter) OutputProofTreeAsDot()

func (r *TextRewriter) ParseGraph()

func (tr *TextRewriter) Rewrite(proofScript string)

func (tr *TextRewriter) UpdatedIndentationLevel(input *coq.Input) string

Path	Synopsis
rules