public EGraph(MathematicalLattice elementLattice)
{
this.elementLattice = elementLattice;
this.constRoot = FreshSymbolicValue();
this.termMap = DoubleFunctionalMap.Empty;
this.absMap = FunctionalMap.Empty;
this.forwMap = FunctionalMap.Empty;
this.eqTermMap = DoubleFunctionalMap.Empty;
this.constant = false;
this.parent = null;
this.root = this;
this.historySize = 1;
this.updates = null;
}
/// <summary>
/// Copy constructor
/// </summary>
/// <param name="from"></param>
private EGraph(EGraph from, CfgBlock at)
{
this.constRoot = from.constRoot;
this.termMap = from.termMap;
this.idCounter = from.idCounter;
this.absMap = from.absMap;
this.elementLattice = from.elementLattice;
this.forwMap = from.forwMap;
this.eqTermMap = from.eqTermMap;
// keep history
this.updates = from.updates;
this.parent = from;
this.root = from.root;
this.historySize = from.historySize + 1;
this.Block = at;
// set from to constant
from.constant = true;
}
public override MathematicalLattice.Element NontrivialMeet(MathematicalLattice.Element a, MathematicalLattice.Element b) {
return AVal.Meet((AVal)a, (AVal)b);
}
/// <summary>
/// Copy constructor
/// </summary>
/// <param name="from"></param>
private EGraph(EGraph from, CfgBlock at) {
this.constRoot = from.constRoot;
this.termMap = from.termMap;
this.idCounter = from.idCounter;
this.absMap = from.absMap;
this.elementLattice = from.elementLattice;
this.forwMap = from.forwMap;
this.eqTermMap = from.eqTermMap;
// keep history
this.updates = from.updates;
this.parent = from;
this.root = from.root;
this.historySize = from.historySize+1;
this.Block = at;
// set from to constant
from.constant = true;
}
public EGraph(MathematicalLattice elementLattice) {
this.elementLattice = elementLattice;
this.constRoot = FreshSymbolicValue();
this.termMap = DoubleFunctionalMap.Empty;
this.absMap = FunctionalMap.Empty;
this.forwMap = FunctionalMap.Empty;
this.eqTermMap = DoubleFunctionalMap.Empty;
this.constant = false;
this.parent = null;
this.root = this;
this.historySize = 1;
this.updates = null;
}
