// END-TermProposition // public bool equals(Object o) { if (this == o) { return(true); } if (!(o is RandomVariable)) { return(false); } // The name (not the name:domain combination) uniquely identifies a // Random Variable RandomVariable other = (RandomVariable)o; return(this.name.Equals(other.getName())); }