public void Set(IFieldReference f, ConstantSetDomain cons) { fieldMapping[f] = cons; }
public bool Contains(IFieldReference 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)); }