/**
* Copy the object and returns the copy
*
* @return a clone of the SharedObject
*/
public shared.SharedObject duplicate() {
ExpANDPr clone = new ExpANDPr();
clone.init(_e1, hashCode);
return clone;
}
/**
* Constructor that builds a term rooted by ExpANDPr
*
* @return a term rooted by ExpANDPr
*/
public static ExpANDPr make(parser.rec.types.Exp _e1) {
// use the proto as a model
gomProto.initHashCode(_e1);
return (ExpANDPr) factory.build(gomProto);
}
