예제 #1
0
 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();
 }
예제 #2
0
 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();
 }
예제 #3
0
 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();
 }
예제 #4
0
 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();
 }
예제 #5
0
 public override IExpr ToPredicate(IVariable v, MathematicalLattice.Element e)
 {
     Contract.Requires(v != null);
     Contract.Requires(e != null);
     Contract.Ensures(Contract.Result <IExpr>() != null);
     throw new System.NotImplementedException();
 }
예제 #6
0
 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();
 }
예제 #7
0
 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();
 }
예제 #8
0
 public override Answer CheckPredicate(MathematicalLattice.Element e, IExpr pred)
 {
     Contract.Requires(e != null);
     Contract.Requires(pred != null);
     throw new NotImplementedException();
 }
예제 #9
0
 protected override bool AtMost(MathematicalLattice.Element a, MathematicalLattice.Element b)
 {
     Contract.Requires(a != null);
     Contract.Requires(b != null);
     throw new NotImplementedException();
 }
예제 #10
0
 public override bool IsBottom(MathematicalLattice.Element e)
 {
     Contract.Requires(e != null);
     throw new NotImplementedException();
 }
예제 #11
0
 public override IExpr GetFoldExpr(MathematicalLattice.Element e)
 {
     Contract.Requires(e != null);
     throw new System.NotImplementedException();
 }