Exemple #1
0
 public void Set(IFieldAccess f, ConstantSetDomain cons)
 {
     fieldMapping[f] = cons;
 }
Exemple #2
0
 public bool Contains(IFieldAccess f, ConstantSetDomain cpd)
 {
     return(fieldMapping[f].Contains(cpd));
 }
Exemple #3
0
 public void Set(IVariable v, ConstantSetDomain cons)
 {
     varMapping[v] = cons;
 }
Exemple #4
0
 public bool Contains(IVariable v, ConstantSetDomain cpd)
 {
     return(varMapping[v].Contains(cpd));
 }