public ArrayStateAD <NumericalAbstractDomain, ArrayAbstractDomain, Variable, Expression> Meet(ArrayStateAD <NumericalAbstractDomain, ArrayAbstractDomain, Variable, Expression> other)
{
Contract.Requires(other != null);
return((ArrayStateAD <NumericalAbstractDomain, ArrayAbstractDomain, Variable, Expression>)base.Meet(other));
}
public ArrayStateAD <NumericalAbstractDomain, ArrayAbstractDomain, Variable, Expression> Widening(ArrayStateAD <NumericalAbstractDomain, ArrayAbstractDomain, Variable, Expression> other)
{
Contract.Requires(other != null);
Contract.Ensures(Contract.Result <ArrayStateAD <NumericalAbstractDomain, ArrayAbstractDomain, Variable, Expression> >() != null);
var leftWiden = (NumericalAbstractDomain)this.Left.Widening(other.Left);
var rightWiden = (ArrayAbstractDomain)this.Right.Widening(other.Right);
var f = Factory(leftWiden, rightWiden) as ArrayStateAD <NumericalAbstractDomain, ArrayAbstractDomain, Variable, Expression>;
Contract.Assume(f != null);
return(f);
}
public bool LessEqual(ArrayStateAD <NumericalAbstractDomain, ArrayAbstractDomain, Variable, Expression> a)
{
Contract.Requires(a != null);
return(base.LessEqual(a));
}