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