PrologParserVisitor

open external class PrologParserVisitor<T>

Functions

visitClause
Link copied to clipboard
open fun visitClause(ctx: ClauseContext): T
visitExpression
Link copied to clipboard
open fun visitExpression(ctx: ExpressionContext): T
visitInteger
Link copied to clipboard
open fun visitInteger(ctx: IntegerContext): T
visitList
Link copied to clipboard
open fun visitList(ctx: ListContext): T
visitNumber
Link copied to clipboard
open fun visitNumber(ctx: NumberContext): T
visitOp
Link copied to clipboard
open fun visitOp(ctx: OpContext): T
visitOptClause
Link copied to clipboard
open fun visitOptClause(ctx: OptClauseContext): T
visitOuter
Link copied to clipboard
open fun visitOuter(ctx: OuterContext): T
visitReal
Link copied to clipboard
open fun visitReal(ctx: RealContext): T
visitSet
Link copied to clipboard
open fun visitSet(ctx: SetContext): T
visitSingletonExpression
Link copied to clipboard
open fun visitSingletonExpression(ctx: SingletonExpressionContext): T
visitSingletonTerm
Link copied to clipboard
open fun visitSingletonTerm(ctx: SingletonTermContext): T
visitStructure
Link copied to clipboard
open fun visitStructure(ctx: StructureContext): T
visitTerm
Link copied to clipboard
open fun visitTerm(ctx: TermContext): T
visitTheory
Link copied to clipboard
open fun visitTheory(ctx: TheoryContext): T
visitVariable
Link copied to clipboard
open fun visitVariable(ctx: VariableContext): T