/// <summary>
/// Handles the AST node visit.
/// </summary>
/// <param name="astNode">AST node.</param>
public override void Visit(NotPEffectAstNode astNode)
{
EffectsData.Add(new NotEffect((AtomicFormulaEffect)MasterExporter.ToEffects(astNode.Argument)[0]));
}
public virtual void Visit(NotPEffectAstNode node)
{
}