Lines Matching defs:generalize
55 public ReferenceValue generalize(ReferenceValue other)
57 return other.generalize(this);
70 // public ReferenceValue generalize(IdentifiedReferenceValue other)
72 // return generalize((TypedReferenceValue)other);
86 // public ReferenceValue generalize(ArrayReferenceValue other)
88 // return generalize((TypedReferenceValue)other);
101 // public ReferenceValue generalize(IdentifiedArrayReferenceValue other)
103 // return generalize((ArrayReferenceValue)other);
116 // public ReferenceValue generalize(DetailedArrayReferenceValue other)
118 // return generalize((IdentifiedArrayReferenceValue)other);