public void Set(IFieldAccess f, ConstantSetDomain cons) { fieldMapping[f] = cons; }
public bool Contains(IFieldAccess f, ConstantSetDomain cpd) { return(fieldMapping[f].Contains(cpd)); }
public void Set(IVariable v, ConstantSetDomain cons) { varMapping[v] = cons; }
public bool Contains(IVariable v, ConstantSetDomain cpd) { return(varMapping[v].Contains(cpd)); }