public bool Equals(Atom rhs) { return AtomEqualityComparer.DefaultInstance.Equals(this, rhs); }
public void PushAtom(Atom atom) { this.atoms.Add(atom); }