// 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()));
}