Show / Hide Table of Contents

Interface IPddlVisitor<Result>

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

Namespace: GCore.Antlr.Grammers.Pddl
Assembly: Pddl.dll
Syntax
public interface IPddlVisitor<Result> : IParseTreeVisitor<Result>
Type Parameters
Name Description
Result

The return type of the visit operation.

Methods

| Improve this Doc View Source

VisitActionDef(PddlParser.ActionDefContext)

Visit a parse tree produced by actionDef().

Declaration
Result VisitActionDef(PddlParser.ActionDefContext context)
Parameters
Type Name Description
PddlParser.ActionDefContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitActionDefBody(PddlParser.ActionDefBodyContext)

Visit a parse tree produced by actionDefBody().

Declaration
Result VisitActionDefBody(PddlParser.ActionDefBodyContext context)
Parameters
Type Name Description
PddlParser.ActionDefBodyContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitActionSymbol(PddlParser.ActionSymbolContext)

Visit a parse tree produced by actionSymbol().

Declaration
Result VisitActionSymbol(PddlParser.ActionSymbolContext context)
Parameters
Type Name Description
PddlParser.ActionSymbolContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitAssignOp(PddlParser.AssignOpContext)

Visit a parse tree produced by assignOp().

Declaration
Result VisitAssignOp(PddlParser.AssignOpContext context)
Parameters
Type Name Description
PddlParser.AssignOpContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitAtomicFormulaSkeleton(PddlParser.AtomicFormulaSkeletonContext)

Visit a parse tree produced by atomicFormulaSkeleton().

Declaration
Result VisitAtomicFormulaSkeleton(PddlParser.AtomicFormulaSkeletonContext context)
Parameters
Type Name Description
PddlParser.AtomicFormulaSkeletonContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitAtomicFunctionSkeleton(PddlParser.AtomicFunctionSkeletonContext)

Visit a parse tree produced by atomicFunctionSkeleton().

Declaration
Result VisitAtomicFunctionSkeleton(PddlParser.AtomicFunctionSkeletonContext context)
Parameters
Type Name Description
PddlParser.AtomicFunctionSkeletonContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitAtomicNameFormula(PddlParser.AtomicNameFormulaContext)

Visit a parse tree produced by atomicNameFormula().

Declaration
Result VisitAtomicNameFormula(PddlParser.AtomicNameFormulaContext context)
Parameters
Type Name Description
PddlParser.AtomicNameFormulaContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitAtomicTermFormula(PddlParser.AtomicTermFormulaContext)

Visit a parse tree produced by atomicTermFormula().

Declaration
Result VisitAtomicTermFormula(PddlParser.AtomicTermFormulaContext context)
Parameters
Type Name Description
PddlParser.AtomicTermFormulaContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitBinaryComp(PddlParser.BinaryCompContext)

Visit a parse tree produced by binaryComp().

Declaration
Result VisitBinaryComp(PddlParser.BinaryCompContext context)
Parameters
Type Name Description
PddlParser.BinaryCompContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitBinaryOp(PddlParser.BinaryOpContext)

Visit a parse tree produced by binaryOp().

Declaration
Result VisitBinaryOp(PddlParser.BinaryOpContext context)
Parameters
Type Name Description
PddlParser.BinaryOpContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitCEffect(PddlParser.CEffectContext)

Visit a parse tree produced by cEffect().

Declaration
Result VisitCEffect(PddlParser.CEffectContext context)
Parameters
Type Name Description
PddlParser.CEffectContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitCondEffect(PddlParser.CondEffectContext)

Visit a parse tree produced by condEffect().

Declaration
Result VisitCondEffect(PddlParser.CondEffectContext context)
Parameters
Type Name Description
PddlParser.CondEffectContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitConGD(PddlParser.ConGDContext)

Visit a parse tree produced by conGD().

Declaration
Result VisitConGD(PddlParser.ConGDContext context)
Parameters
Type Name Description
PddlParser.ConGDContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitConstantsDef(PddlParser.ConstantsDefContext)

Visit a parse tree produced by constantsDef().

Declaration
Result VisitConstantsDef(PddlParser.ConstantsDefContext context)
Parameters
Type Name Description
PddlParser.ConstantsDefContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitConstraints(PddlParser.ConstraintsContext)

Visit a parse tree produced by constraints().

Declaration
Result VisitConstraints(PddlParser.ConstraintsContext context)
Parameters
Type Name Description
PddlParser.ConstraintsContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDaDefBody(PddlParser.DaDefBodyContext)

Visit a parse tree produced by daDefBody().

Declaration
Result VisitDaDefBody(PddlParser.DaDefBodyContext context)
Parameters
Type Name Description
PddlParser.DaDefBodyContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDaEffect(PddlParser.DaEffectContext)

Visit a parse tree produced by daEffect().

Declaration
Result VisitDaEffect(PddlParser.DaEffectContext context)
Parameters
Type Name Description
PddlParser.DaEffectContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDaGD(PddlParser.DaGDContext)

Visit a parse tree produced by daGD().

Declaration
Result VisitDaGD(PddlParser.DaGDContext context)
Parameters
Type Name Description
PddlParser.DaGDContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDerivedDef(PddlParser.DerivedDefContext)

Visit a parse tree produced by derivedDef().

Declaration
Result VisitDerivedDef(PddlParser.DerivedDefContext context)
Parameters
Type Name Description
PddlParser.DerivedDefContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDomain(PddlParser.DomainContext)

Visit a parse tree produced by domain().

Declaration
Result VisitDomain(PddlParser.DomainContext context)
Parameters
Type Name Description
PddlParser.DomainContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDomainName(PddlParser.DomainNameContext)

Visit a parse tree produced by domainName().

Declaration
Result VisitDomainName(PddlParser.DomainNameContext context)
Parameters
Type Name Description
PddlParser.DomainNameContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDurationConstraint(PddlParser.DurationConstraintContext)

Visit a parse tree produced by durationConstraint().

Declaration
Result VisitDurationConstraint(PddlParser.DurationConstraintContext context)
Parameters
Type Name Description
PddlParser.DurationConstraintContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDurativeActionDef(PddlParser.DurativeActionDefContext)

Visit a parse tree produced by durativeActionDef().

Declaration
Result VisitDurativeActionDef(PddlParser.DurativeActionDefContext context)
Parameters
Type Name Description
PddlParser.DurativeActionDefContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDurOp(PddlParser.DurOpContext)

Visit a parse tree produced by durOp().

Declaration
Result VisitDurOp(PddlParser.DurOpContext context)
Parameters
Type Name Description
PddlParser.DurOpContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitDurValue(PddlParser.DurValueContext)

Visit a parse tree produced by durValue().

Declaration
Result VisitDurValue(PddlParser.DurValueContext context)
Parameters
Type Name Description
PddlParser.DurValueContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitEffect(PddlParser.EffectContext)

Visit a parse tree produced by effect().

Declaration
Result VisitEffect(PddlParser.EffectContext context)
Parameters
Type Name Description
PddlParser.EffectContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFAssignDA(PddlParser.FAssignDAContext)

Visit a parse tree produced by fAssignDA().

Declaration
Result VisitFAssignDA(PddlParser.FAssignDAContext context)
Parameters
Type Name Description
PddlParser.FAssignDAContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFComp(PddlParser.FCompContext)

Visit a parse tree produced by fComp().

Declaration
Result VisitFComp(PddlParser.FCompContext context)
Parameters
Type Name Description
PddlParser.FCompContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFExp(PddlParser.FExpContext)

Visit a parse tree produced by fExp().

Declaration
Result VisitFExp(PddlParser.FExpContext context)
Parameters
Type Name Description
PddlParser.FExpContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFExp2(PddlParser.FExp2Context)

Visit a parse tree produced by fExp2().

Declaration
Result VisitFExp2(PddlParser.FExp2Context context)
Parameters
Type Name Description
PddlParser.FExp2Context context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFExpDA(PddlParser.FExpDAContext)

Visit a parse tree produced by fExpDA().

Declaration
Result VisitFExpDA(PddlParser.FExpDAContext context)
Parameters
Type Name Description
PddlParser.FExpDAContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFHead(PddlParser.FHeadContext)

Visit a parse tree produced by fHead().

Declaration
Result VisitFHead(PddlParser.FHeadContext context)
Parameters
Type Name Description
PddlParser.FHeadContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFunctionList(PddlParser.FunctionListContext)

Visit a parse tree produced by functionList().

Declaration
Result VisitFunctionList(PddlParser.FunctionListContext context)
Parameters
Type Name Description
PddlParser.FunctionListContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFunctionsDef(PddlParser.FunctionsDefContext)

Visit a parse tree produced by functionsDef().

Declaration
Result VisitFunctionsDef(PddlParser.FunctionsDefContext context)
Parameters
Type Name Description
PddlParser.FunctionsDefContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFunctionSymbol(PddlParser.FunctionSymbolContext)

Visit a parse tree produced by functionSymbol().

Declaration
Result VisitFunctionSymbol(PddlParser.FunctionSymbolContext context)
Parameters
Type Name Description
PddlParser.FunctionSymbolContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitFunctionType(PddlParser.FunctionTypeContext)

Visit a parse tree produced by functionType().

Declaration
Result VisitFunctionType(PddlParser.FunctionTypeContext context)
Parameters
Type Name Description
PddlParser.FunctionTypeContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitGoal(PddlParser.GoalContext)

Visit a parse tree produced by goal().

Declaration
Result VisitGoal(PddlParser.GoalContext context)
Parameters
Type Name Description
PddlParser.GoalContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitGoalDesc(PddlParser.GoalDescContext)

Visit a parse tree produced by goalDesc().

Declaration
Result VisitGoalDesc(PddlParser.GoalDescContext context)
Parameters
Type Name Description
PddlParser.GoalDescContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitInit_(PddlParser.Init_Context)

Visit a parse tree produced by init_().

Declaration
Result VisitInit_(PddlParser.Init_Context context)
Parameters
Type Name Description
PddlParser.Init_Context context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitInitEl(PddlParser.InitElContext)

Visit a parse tree produced by initEl().

Declaration
Result VisitInitEl(PddlParser.InitElContext context)
Parameters
Type Name Description
PddlParser.InitElContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitInterval(PddlParser.IntervalContext)

Visit a parse tree produced by interval().

Declaration
Result VisitInterval(PddlParser.IntervalContext context)
Parameters
Type Name Description
PddlParser.IntervalContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitMetricFExp(PddlParser.MetricFExpContext)

Visit a parse tree produced by metricFExp().

Declaration
Result VisitMetricFExp(PddlParser.MetricFExpContext context)
Parameters
Type Name Description
PddlParser.MetricFExpContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitMetricSpec(PddlParser.MetricSpecContext)

Visit a parse tree produced by metricSpec().

Declaration
Result VisitMetricSpec(PddlParser.MetricSpecContext context)
Parameters
Type Name Description
PddlParser.MetricSpecContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitNameLiteral(PddlParser.NameLiteralContext)

Visit a parse tree produced by nameLiteral().

Declaration
Result VisitNameLiteral(PddlParser.NameLiteralContext context)
Parameters
Type Name Description
PddlParser.NameLiteralContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitObjectDecl(PddlParser.ObjectDeclContext)

Visit a parse tree produced by objectDecl().

Declaration
Result VisitObjectDecl(PddlParser.ObjectDeclContext context)
Parameters
Type Name Description
PddlParser.ObjectDeclContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitOptimization(PddlParser.OptimizationContext)

Visit a parse tree produced by optimization().

Declaration
Result VisitOptimization(PddlParser.OptimizationContext context)
Parameters
Type Name Description
PddlParser.OptimizationContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitPddlDoc(PddlParser.PddlDocContext)

Visit a parse tree produced by pddlDoc().

Declaration
Result VisitPddlDoc(PddlParser.PddlDocContext context)
Parameters
Type Name Description
PddlParser.PddlDocContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitPEffect(PddlParser.PEffectContext)

Visit a parse tree produced by pEffect().

Declaration
Result VisitPEffect(PddlParser.PEffectContext context)
Parameters
Type Name Description
PddlParser.PEffectContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitPredicate(PddlParser.PredicateContext)

Visit a parse tree produced by predicate().

Declaration
Result VisitPredicate(PddlParser.PredicateContext context)
Parameters
Type Name Description
PddlParser.PredicateContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitPredicatesDef(PddlParser.PredicatesDefContext)

Visit a parse tree produced by predicatesDef().

Declaration
Result VisitPredicatesDef(PddlParser.PredicatesDefContext context)
Parameters
Type Name Description
PddlParser.PredicatesDefContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitPrefConGD(PddlParser.PrefConGDContext)

Visit a parse tree produced by prefConGD().

Declaration
Result VisitPrefConGD(PddlParser.PrefConGDContext context)
Parameters
Type Name Description
PddlParser.PrefConGDContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitPrefTimedGD(PddlParser.PrefTimedGDContext)

Visit a parse tree produced by prefTimedGD().

Declaration
Result VisitPrefTimedGD(PddlParser.PrefTimedGDContext context)
Parameters
Type Name Description
PddlParser.PrefTimedGDContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitPrimType(PddlParser.PrimTypeContext)

Visit a parse tree produced by primType().

Declaration
Result VisitPrimType(PddlParser.PrimTypeContext context)
Parameters
Type Name Description
PddlParser.PrimTypeContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitProbConstraints(PddlParser.ProbConstraintsContext)

Visit a parse tree produced by probConstraints().

Declaration
Result VisitProbConstraints(PddlParser.ProbConstraintsContext context)
Parameters
Type Name Description
PddlParser.ProbConstraintsContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitProblem(PddlParser.ProblemContext)

Visit a parse tree produced by problem().

Declaration
Result VisitProblem(PddlParser.ProblemContext context)
Parameters
Type Name Description
PddlParser.ProblemContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitProblemDecl(PddlParser.ProblemDeclContext)

Visit a parse tree produced by problemDecl().

Declaration
Result VisitProblemDecl(PddlParser.ProblemDeclContext context)
Parameters
Type Name Description
PddlParser.ProblemDeclContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitProblemDomain(PddlParser.ProblemDomainContext)

Visit a parse tree produced by problemDomain().

Declaration
Result VisitProblemDomain(PddlParser.ProblemDomainContext context)
Parameters
Type Name Description
PddlParser.ProblemDomainContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitRequireDef(PddlParser.RequireDefContext)

Visit a parse tree produced by requireDef().

Declaration
Result VisitRequireDef(PddlParser.RequireDefContext context)
Parameters
Type Name Description
PddlParser.RequireDefContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitSimpleDurationConstraint(PddlParser.SimpleDurationConstraintContext)

Visit a parse tree produced by simpleDurationConstraint().

Declaration
Result VisitSimpleDurationConstraint(PddlParser.SimpleDurationConstraintContext context)
Parameters
Type Name Description
PddlParser.SimpleDurationConstraintContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitSingleTypeNameList(PddlParser.SingleTypeNameListContext)

Visit a parse tree produced by singleTypeNameList().

Declaration
Result VisitSingleTypeNameList(PddlParser.SingleTypeNameListContext context)
Parameters
Type Name Description
PddlParser.SingleTypeNameListContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitSingleTypeVarList(PddlParser.SingleTypeVarListContext)

Visit a parse tree produced by singleTypeVarList().

Declaration
Result VisitSingleTypeVarList(PddlParser.SingleTypeVarListContext context)
Parameters
Type Name Description
PddlParser.SingleTypeVarListContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitStructureDef(PddlParser.StructureDefContext)

Visit a parse tree produced by structureDef().

Declaration
Result VisitStructureDef(PddlParser.StructureDefContext context)
Parameters
Type Name Description
PddlParser.StructureDefContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitTerm(PddlParser.TermContext)

Visit a parse tree produced by term().

Declaration
Result VisitTerm(PddlParser.TermContext context)
Parameters
Type Name Description
PddlParser.TermContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitTimedEffect(PddlParser.TimedEffectContext)

Visit a parse tree produced by timedEffect().

Declaration
Result VisitTimedEffect(PddlParser.TimedEffectContext context)
Parameters
Type Name Description
PddlParser.TimedEffectContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitTimedGD(PddlParser.TimedGDContext)

Visit a parse tree produced by timedGD().

Declaration
Result VisitTimedGD(PddlParser.TimedGDContext context)
Parameters
Type Name Description
PddlParser.TimedGDContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitTimeSpecifier(PddlParser.TimeSpecifierContext)

Visit a parse tree produced by timeSpecifier().

Declaration
Result VisitTimeSpecifier(PddlParser.TimeSpecifierContext context)
Parameters
Type Name Description
PddlParser.TimeSpecifierContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitType_(PddlParser.Type_Context)

Visit a parse tree produced by type_().

Declaration
Result VisitType_(PddlParser.Type_Context context)
Parameters
Type Name Description
PddlParser.Type_Context context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitTypedNameList(PddlParser.TypedNameListContext)

Visit a parse tree produced by typedNameList().

Declaration
Result VisitTypedNameList(PddlParser.TypedNameListContext context)
Parameters
Type Name Description
PddlParser.TypedNameListContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitTypedVariableList(PddlParser.TypedVariableListContext)

Visit a parse tree produced by typedVariableList().

Declaration
Result VisitTypedVariableList(PddlParser.TypedVariableListContext context)
Parameters
Type Name Description
PddlParser.TypedVariableListContext context

The parse tree.

Returns
Type Description
Result
| Improve this Doc View Source

VisitTypesDef(PddlParser.TypesDefContext)

Visit a parse tree produced by typesDef().

Declaration
Result VisitTypesDef(PddlParser.TypesDefContext context)
Parameters
Type Name Description
PddlParser.TypesDefContext context

The parse tree.

Returns
Type Description
Result
  • Improve this Doc
  • View Source
In This Article
Back to top Generated by DocFX