/// <summary>
/// Constructs the effect.
/// </summary>
/// <param name="effect">Argument effect.</param>
public NotEffect(AtomicFormulaEffect effect)
{
Argument = effect;
}
/// <summary>
/// Constructs the effect.
/// </summary>
/// <param name="argument">Argument effect.</param>
public NotEffect(AtomicFormulaEffect argument)
{
Argument = argument;
}
