Namespace GCore.Antlr.Grammers.Metamath

Classes

metamathBaseListener

This class provides an empty implementation of ImetamathListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

metamathBaseVisitor<Result>

This class provides an empty implementation of ImetamathVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods.

metamathLexer

metamathParser

metamathParser.AssertstmtContext

metamathParser.AxiomstmtContext

metamathParser.BlockContext

metamathParser.CompressedproofContext

metamathParser.ConstantContext

metamathParser.ConstantstmtContext

metamathParser.DatabaseContext

metamathParser.DisjointstmtContext

metamathParser.EssentialstmtContext

metamathParser.FilenameContext

metamathParser.FloatingstmtContext

metamathParser.HypothesisstmtContext

metamathParser.IncludestmtContext

metamathParser.MathsymbolContext

metamathParser.OutermostscopestmtContext

metamathParser.ProofContext

metamathParser.ProvablestmtContext

metamathParser.StmtContext

metamathParser.TypecodeContext

metamathParser.UncompressedproofContext

metamathParser.VariableContext

metamathParser.VariablestmtContext

Interfaces

ImetamathListener

This interface defines a complete listener for a parse tree produced by metamathParser.

ImetamathVisitor<Result>

This interface defines a complete generic visitor for a parse tree produced by metamathParser.