Exemplo n.º 1
0
 /// <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]));
 }
Exemplo n.º 2
0
 public virtual void Visit(NotPEffectAstNode node)
 {
 }