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 SourceVisitActionDef(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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |