PrologParserVisitor

open external class PrologParserVisitor<T>

Functions

visitClause

open fun visitClause(ctx: ClauseContext): T

visitExpression

open fun visitExpression(ctx: ExpressionContext): T

visitInteger

open fun visitInteger(ctx: IntegerContext): T

visitList

open fun visitList(ctx: ListContext): T

visitNumber

open fun visitNumber(ctx: NumberContext): T

visitOp

open fun visitOp(ctx: OpContext): T

visitOptClause

open fun visitOptClause(ctx: OptClauseContext): T

visitOuter

open fun visitOuter(ctx: OuterContext): T

visitReal

open fun visitReal(ctx: RealContext): T

visitSet

open fun visitSet(ctx: SetContext): T

visitSingletonExpression

open fun visitSingletonExpression(ctx: SingletonExpressionContext): T

visitSingletonTerm

open fun visitSingletonTerm(ctx: SingletonTermContext): T

visitStructure

open fun visitStructure(ctx: StructureContext): T

visitTerm

open fun visitTerm(ctx: TermContext): T

visitTheory

open fun visitTheory(ctx: TheoryContext): T

visitVariable

open fun visitVariable(ctx: VariableContext): T