/// <summary> /// Handles the AST node visit. /// </summary> /// <param name="astNode">AST node.</param> public override void Visit(DomainActionAstNode astNode) { Action newAction = new Action { Name = astNode.Name, Parameters = MasterExporter.ToParameters(astNode.Parameters), Preconditions = MasterExporter.ToPreconditions(astNode.Preconditions), Effects = MasterExporter.ToEffects(astNode.Effects) }; DomainData.Actions.Add(newAction); }
/// <summary> /// Handles the AST node visit. /// </summary> /// <param name="astNode">AST node.</param> public override void Visit(DomainDurActionAstNode astNode) { DurativeAction newDurativeAction = new DurativeAction { Name = astNode.Name, Parameters = MasterExporter.ToParameters(astNode.Parameters), Durations = MasterExporter.ToDurativeConstraints(astNode.DurationConstraint), Conditions = MasterExporter.ToDurativeConditions(astNode.Condition), Effects = MasterExporter.ToDurativeEffects(astNode.Effect) }; DomainData.DurativeActions.Add(newDurativeAction); }
/// <summary> /// Handles the AST node visit. /// </summary> /// <param name="astNode">AST node.</param> public override void Visit(ForallCEffectAstNode astNode) { EffectsData.Add(new ForallEffect(MasterExporter.ToParameters(astNode.Parameters), MasterExporter.ToEffects(astNode.Effect))); }
/// <summary> /// Handles the AST node visit. /// </summary> /// <param name="astNode">AST node.</param> public override void Visit(ForallGdAstNode astNode) { ExpressionData = new ForallExpression(MasterExporter.ToParameters(astNode.Parameters), MasterExporter.ToExpression(astNode.Expression)); }
/// <summary> /// Handles the AST node visit. /// </summary> /// <param name="astNode">AST node.</param> public override void Visit(ExistsGdAstNode astNode) { ExpressionData = new ExistsExpression(MasterExporter.ToParameters(astNode.Parameters), MasterExporter.ToExpression(astNode.Expression)); }
/// <summary> /// Handles the AST node visit. /// </summary> /// <param name="astNode">AST node.</param> public override void Visit(ForallConGdAstNode astNode) { ConstraintsData.Add(new ForallConstraint(MasterExporter.ToParameters(astNode.Parameters), MasterExporter.ToConstraints(astNode.Expression))); }