Versions in this module Expand all Collapse all v0 v0.2.0 Dec 13, 2023 v0.1.0 Nov 25, 2023 Changes in this version + const BoolOpAND + const BoolOpIMP + const BoolOpOR + const BoolOpXOR + const CmpOpGE + const CmpOpGT + const CmpOpLE + const CmpOpLT + const EquOpEQ + const EquOpNE + var GenBackRefCache sync.Map + var GenLexer lexer.Definition = lexerGenDefinitionImpl + var Lexer = lexer.MustSimple([]lexer.SimpleRule{ ... }) + var Parser = participle.MustBuild[File](participle.UseLookahead(2), participle.Elide("Whitespace"), ...) + type BoolOp int + func (b *BoolOp) Capture(values []string) error + func (b BoolOp) String() string + type BoolOpBuilder struct + Arguments []Expr + Operation BoolOp + Pos lexer.Position + func (b BoolOpBuilder) Position() lexer.Position + type CmpArguments interface + type CmpDiff struct + Constant NumberAtom + Difference DiffExpr + type CmpOp int + func (c *CmpOp) Capture(values []string) error + func (c CmpOp) String() string + type CmpOpBuilder struct + Arguments CmpArguments + Operation CmpOp + Pos lexer.Position + func (b CmpOpBuilder) Position() lexer.Position + type CmpSym struct + LHS Symbol + RHS Symbol + type Declaration struct + Name Symbol + Sort Sort + type DiffAtom struct + LHS Symbol + Pos lexer.Position + RHS Symbol + func (a DiffAtom) Position() lexer.Position + type DiffExpr interface + Position func() lexer.Position + type EquOp int + func (e *EquOp) Capture(values []string) error + func (e EquOp) String() string + type EquOpBuilder struct + Arguments []Expr + Operation EquOp + Pos lexer.Position + func (b EquOpBuilder) Position() lexer.Position + type Expr interface + Position func() lexer.Position + type File struct + Assertions []Expr + Declarations []Declaration + Footer bool + Logic Symbol + Metadata []Metadata + Version Version + func Parse(input io.Reader) (ret *File, err error) + func (file File) GetStatus() Status + type ITEBuilder struct + Else Expr + If Expr + Pos lexer.Position + Then Expr + func (b ITEBuilder) Position() lexer.Position + type LetBinding struct + Bind Expr + Name Symbol + Pos lexer.Position + type LetBuilder struct + Bindings []LetBinding + Expr Expr + Pos lexer.Position + func (b LetBuilder) Position() lexer.Position + type Metadata interface + type MetadataCategory struct + Category StringLit + type MetadataLicense struct + License StringLit + type MetadataNotes struct + Notes Symbol + type MetadataSource struct + Source Symbol + type MetadataStatus struct + Status Status + type NotBuilder struct + Argument Expr + Pos lexer.Position + func (b NotBuilder) Position() lexer.Position + type Number struct + Value *big.Int + func (n *Number) Capture(values []string) error + type NumberAtom struct + Num Number + Pos lexer.Position + func (a NumberAtom) Position() lexer.Position + type Sort int + const SortBool + const SortInt + func (sort *Sort) Capture(values []string) error + func (sort Sort) String() string + type Status int + const StatusSat + const StatusUnknown + const StatusUnsat + func (stat *Status) Capture(values []string) error + func (stat Status) String() string + type StringLit string + func (str *StringLit) Capture(values []string) error + type Symbol string + func (sym *Symbol) Capture(values []string) error + type SymbolAtom struct + Name Symbol + Pos lexer.Position + func (a SymbolAtom) Position() lexer.Position + type Version struct + Major uint64 + Minor uint64 + func (v *Version) Capture(values []string) (err error)