equal
deleted
inserted
replaced
51 void set_from(ValueSet* other); |
51 void set_from(ValueSet* other); |
52 bool equals (ValueSet* other); |
52 bool equals (ValueSet* other); |
53 }; |
53 }; |
54 |
54 |
55 inline ValueSet::ValueSet() : _map(Instruction::number_of_instructions()) { |
55 inline ValueSet::ValueSet() : _map(Instruction::number_of_instructions()) { |
56 _map.clear(); |
|
57 } |
56 } |
58 |
57 |
59 |
58 |
60 inline ValueSet* ValueSet::copy() { |
59 inline ValueSet* ValueSet::copy() { |
61 ValueSet* res = new ValueSet(); |
60 ValueSet* res = new ValueSet(); |