protected override INumericalAbstractDomain <BoxedExpression> HelperForJoin( INumericalAbstractDomain <BoxedExpression> newState, INumericalAbstractDomain <BoxedExpression> prevState, Microsoft.Research.DataStructures.Pair <APC, APC> edge) { return(((StripeWithIntervalsForUnsafeCode)newState).Join((StripeWithIntervalsForUnsafeCode)prevState, edge.Two)); }
// Made virtual to count the # of join points in the SyntacticComplexityAnalysis virtual public bool Join(Microsoft.Research.DataStructures.Pair <APC, APC> edge, bool newState, bool prevState, out bool weaker, bool widen) { weaker = false; return(true); }
protected override INumericalAbstractDomain <BoxedExpression> HelperForWidening( INumericalAbstractDomain <BoxedExpression> newState, INumericalAbstractDomain <BoxedExpression> prevState, Microsoft.Research.DataStructures.Pair <APC, APC> edge) { return((INumericalAbstractDomain <BoxedExpression>)newState.Widening(prevState)); }