/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(PredicatePEffectAstNode astNode)
{
PredicateEffect predicate = new PredicateEffect(astNode.Name);
astNode.Terms.ForEach(term => predicate.Terms.Add(MasterExporter.ToTerm(term)));
EffectsData.Add(predicate);
}
/// <summary>
/// Checks the equality of objects.
/// </summary>
/// <param name="obj">Object to be checked.</param>
/// <returns>True if the objects are equal, false otherwise.</returns>
public override bool Equals(object obj)
{
if (obj == this)
{
return(true);
}
PredicateEffect other = obj as PredicateEffect;
if (other == null)
{
return(false);
}
return(PredicateAtom.Equals(other.PredicateAtom));
}
public virtual void PostVisit(PredicateEffect data)
{
}
