override public bool AddToOctagon(CoreOctagon oct, IMutableSet <int> affectedDimensions)
{
bool b1 = cachedXLeqY.AddToOctagon(oct, affectedDimensions);
bool b2 = cachedYLeqX.AddToOctagon(oct, affectedDimensions);
return(b1 || b2);
}
///<summary>
/// Add this constraint to the octagon
///</summary>
override public bool AddToOctagon(CoreOctagon oct, IMutableSet <int> affectedDimensions)
{
int j = 2 * this.x + 1;
int i = 2 * this.x;
affectedDimensions.Add(this.x);
try
{
Rational c = this.c * 2;
if (Rational.Min(c, oct.octagon[Matpos2(i, j)]) == c)
{
oct.octagon[Matpos2(i, j)] = c;
return(true);
}
}
catch (ArithmeticExceptionRational)
{
// We could not add the constraint because of an arithmetic exception
return(false);
}
return(false);
}
override public bool AddToOctagon(CoreOctagon oct, IMutableSet <int> affectedDimensions)
{
bool bInf = this.inf.AddToOctagon(oct, affectedDimensions);
bool bSup = this.sup.AddToOctagon(oct, affectedDimensions);
return(bInf || bSup);
}
///<summary>
/// Construct an object for the equality x == c
///</summary>
public OctagonConstraintXEqualConst(int i, Rational c)
{
this.x = i;
this.y = -1;
this.c = c;
this.inf = new OctagonConstraintMinusX(i, -this.c);
this.sup = new OctagonConstraintX(i, this.c);
this.toAdd = new Set <OctagonConstraint>();
this.toAdd.Add(this.inf);
this.toAdd.Add(this.sup);
}
override public bool AddToOctagon(CoreOctagon oct, IMutableSet <int> affectedDimensions)
{
int j = 2 * this.x + 1;
int i = 2 * this.y;
affectedDimensions.Add(this.x);
affectedDimensions.Add(this.y);
if (this.c <= oct.octagon[Matpos2(i, j)])
{
oct.octagon[Matpos2(i, j)] = this.c;
return(true);
}
return(false);
}
///<summary>
/// Construct an object for the equality x == c
///</summary>
public OctagonConstraintXEqualConst(int i, Rational c)
{
this.x = i;
this.y = -1;
this.c = c;
this.inf = new OctagonConstraintMinusX(i, -this.c);
this.sup = new OctagonConstraintX(i, this.c);
this.toAdd = new Set<OctagonConstraint>();
this.toAdd.Add(this.inf);
this.toAdd.Add(this.sup);
}
override public bool AddToOctagon(CoreOctagon oct, IMutableSet<int> affectedDimensions)
{
bool b1 = this.cachedXLeqY.AddToOctagon(oct, affectedDimensions);
bool b2 = this.cachedYLeqX.AddToOctagon(oct, affectedDimensions);
return b1 || b2;
}
override public bool AddToOctagon(CoreOctagon oct, IMutableSet<int> affectedDimensions)
{
int j = 2 * this.x + 1;
int i = 2 * this.y;
affectedDimensions.Add(this.x);
affectedDimensions.Add(this.y);
if (this.c <= oct.octagon[Matpos2(i, j)])
{
oct.octagon[Matpos2(i, j)] = this.c;
return true;
}
return false;
}
///<summary> /// Add this constraint to the octagon passed as parameter /// </summary> ///<param name="oct">the octagon where to add the constraint</param> ///<param name="affectedDimensions">The dimensions affected by the constraints</param> ///<returns>true iff the constraint has been added</returns> abstract public bool AddToOctagon(CoreOctagon oct, IMutableSet<int> affectedDimensions);
public TopSortData(DSetFactory setfactory)
{
this.all_nodes = setfactory();
this.real_roots = setfactory();
}
public ReachableNodesData(DSetFactory setfactory)
{
this.all_nodes = setfactory();
}
public override Class VisitClass(Class Class)
{
fieldUsage = new NodeSet();
return(base.VisitClass(Class));
}
public WhereObservableMutableSet(IMutableSet <T> set, Func <T, bool> pred) : base(set, pred)
{
}
override public bool AddToOctagon(CoreOctagon oct, IMutableSet<int> affectedDimensions)
{
bool bInf = this.inf.AddToOctagon(oct, affectedDimensions);
bool bSup = this.sup.AddToOctagon(oct, affectedDimensions);
return bInf || bSup;
}
private void FindReachable(IMutableSet reach, CfgBlock current, NormalFlowBlockNavigator nfnav) {
if (reach.Contains(current)) return;
reach.Add(current);
foreach (CfgBlock next in nfnav.NextNodes(current)) {
FindReachable(reach, next, nfnav);
}
// also follow exceptional path
CfgBlock handler = (CfgBlock)this.b2exception_handler[current];
if (handler != null) {
FindReachable(reach, handler, nfnav);
}
}
///<summary> /// Add this constraint to the octagon passed as parameter /// </summary> ///<param name="oct">the octagon where to add the constraint</param> ///<param name="affectedDimensions">The dimensions affected by the constraints</param> ///<returns>true iff the constraint has been added</returns> abstract public bool AddToOctagon(CoreOctagon oct, IMutableSet <int> affectedDimensions);
public ObservableMutableSet(IMutableSet <T> set)
{
this.set = set;
}
public Unit Box(Expression pc, Type type, Variable dest, Expression source, IMutableSet <Expression> data)
{
Recurse(source, data);
return(Unit.Value);
}
///<summary>
/// Add this constraint to the octagon
///</summary>
override public bool AddToOctagon(CoreOctagon oct, IMutableSet<int> affectedDimensions)
{
int j = 2 * this.x + 1;
int i = 2 * this.x;
affectedDimensions.Add(this.x);
try
{
Rational c = this.c * 2;
if (Rational.Min(c, oct.octagon[Matpos2(i, j)]) == c)
{
oct.octagon[Matpos2(i, j)] = c;
return true;
}
}
catch (ArithmeticExceptionRational)
{
// We could not add the constraint because of an arithmetic exception
return false;
}
return false;
}
public static IObservableMutableSet <T> ToObservable <T>(this IMutableSet <T> set) => new ObservableMutableSet <T>(set);
