public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException {
this.vr = (VariableRestriction) in.readObject();
this.declaration = vr.getRequiredDeclarations()[0];
}
public UnificationRestriction(VariableRestriction vr) {
this.vr = vr;
this.declaration = vr.getRequiredDeclarations()[0];
}
public void replaceDeclaration(Declaration oldDecl, Declaration newDecl) {
this.vr.replaceDeclaration(oldDecl, newDecl);
this.declaration = vr.getRequiredDeclarations()[0];
}
public void setReadAccessor(InternalReadAccessor readAccessor) {
this.vr.setReadAccessor(readAccessor);
this.declaration = vr.getRequiredDeclarations()[0];
}
