/// <summary> /// Whether doc contains nothing /// </summary> public bool isEmpty() { return((definitions_.count() <= 0) && (dataset_.count() <= 0)); }