/// <summary>
/// Visits and handles the effect.
/// </summary>
/// <param name="effect">Effect.</param>
public void Visit(NotEffect effect)
{
if (EffectsApplierMode == EffectsApplierMode.DELETE_RELAXATION)
{
return;
}
PredicateEffect argumentEffect = effect.Argument as PredicateEffect;
if (argumentEffect != null)
{
IAtom groundedPredicateAtom = GroundingManager.GroundAtomDeep(argumentEffect.PredicateAtom, Substitution, State);
State.RemovePredicate(groundedPredicateAtom);
}
}
/// <summary>
/// Visits and handles the effect.
/// </summary>
/// <param name="effect">Effect.</param>
public void Visit(NotEffect effect)
{
IsNegated = true;
effect.Argument.Accept(this);
IsNegated = false;
}
/// <summary>
/// Visits and handles the effect.
/// </summary>
/// <param name="effect">Effect.</param>
public void Visit(NotEffect effect)
{
effect.Argument.Accept(this);
}