/// <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)));
}
