public override MathematicalLattice.Element Rename(MathematicalLattice.Element e, IVariable oldName, IVariable newName) {
Contract.Requires(e != null);
Contract.Requires(oldName != null);
Contract.Requires(newName != null);
Contract.Ensures(Contract.Result<Element>() != null);
throw new NotImplementedException();
}
public override MathematicalLattice.Element Constrain(MathematicalLattice.Element e, IExpr expr) {
Contract.Requires(e != null);
Contract.Requires(expr != null);
Contract.Ensures(Contract.Result<Element>() != null);
throw new NotImplementedException();
}
public override Answer CheckVariableDisequality(MathematicalLattice.Element e, IVariable var1, IVariable var2) {
Contract.Requires(e != null);
Contract.Requires(var1 != null);
Contract.Requires(var2 != null);
throw new NotImplementedException();
}
public override MathematicalLattice.Element Eliminate(MathematicalLattice.Element e, IVariable variable) {
Contract.Requires(e != null);
Contract.Requires(variable != null);
Contract.Ensures(Contract.Result<Element>() != null);
throw new NotImplementedException();
}
public override IExpr EquivalentExpr(MathematicalLattice.Element e, IQueryable q, IExpr expr, IVariable var, Set prohibitedVars) {
Contract.Requires(e != null);
Contract.Requires(q != null);
Contract.Requires(expr != null);
Contract.Requires(var != null);
Contract.Requires(prohibitedVars != null);
Contract.Ensures(Contract.Result<IExpr>() != null);
throw new NotImplementedException();
}
public override Answer CheckPredicate(MathematicalLattice.Element e, IExpr pred) {
Contract.Requires(e != null);
Contract.Requires(pred != null);
throw new NotImplementedException();
}
public override IExpr ToPredicate(MathematicalLattice.Element e) {
Contract.Requires(e != null);
Contract.Ensures(Contract.Result<IExpr>() != null);
throw new NotImplementedException();
}
public override MathematicalLattice.Element Widen(MathematicalLattice.Element a, MathematicalLattice.Element b) {
Contract.Requires(a != null);
Contract.Requires(b != null);
Contract.Ensures(Contract.Result<Element>() != null);
throw new NotImplementedException();
}
protected override bool AtMost(MathematicalLattice.Element a, MathematicalLattice.Element b) {
Contract.Requires(a != null);
Contract.Requires(b != null);
throw new NotImplementedException();
}
public override bool IsBottom(MathematicalLattice.Element e) {
Contract.Requires(e != null);
throw new NotImplementedException();
}
public override IExpr GetFoldExpr(MathematicalLattice.Element e) {
Contract.Requires(e != null);
throw new System.NotImplementedException();
}
