public ScalarFromArrayTracking( BoxedVariable <Variable> left, BoxedVariable <Variable> right, FlatAbstractDomain <bool> isUnmodifiedFromEntry, SymbolicExpressionTracker <BoxedVariable <Variable>, BoxedExpression> conditions) : this(new SetOfConstraints <BoxedVariable <Variable> >(left), new SetOfConstraints <BoxedVariable <Variable> >(right), isUnmodifiedFromEntry, conditions) { Contract.Requires(isUnmodifiedFromEntry != null); Contract.Requires(conditions != null); }
public ScalarFromArrayTracking( SetOfConstraints <BoxedVariable <Variable> > left, SetOfConstraints <BoxedVariable <Variable> > right, FlatAbstractDomain <bool> isUnmodifiedFromEntry, SymbolicExpressionTracker <BoxedVariable <Variable>, BoxedExpression> conditions) { Contract.Requires(left != null); Contract.Requires(right != null); Contract.Requires(isUnmodifiedFromEntry != null); Contract.Requires(conditions != null); this.left = left; this.right = right; this.isUnmodifiedFromEntry = isUnmodifiedFromEntry; this.conditions = conditions; }