Lines Matching refs:generalize
55 public ReferenceValue generalize(ReferenceValue other)
57 return other.generalize(this);
70 // public ReferenceValue generalize(IdentifiedReferenceValue other)
72 // return generalize((TypedReferenceValue)other);
85 // public ReferenceValue generalize(ArrayReferenceValue other)
87 // return generalize((TypedReferenceValue)other);
100 // public ReferenceValue generalize(IdentifiedArrayReferenceValue other)
102 // return generalize((ArrayReferenceValue)other);
116 // public ReferenceValue generalize(DetailedArrayReferenceValue other)
118 // return generalize((IdentifiedArrayReferenceValue)other);
