public void Unbind() { _containee = null; _reference = this; }
public void Unwind(int count) { if (count == 0) { return; } for (int i = count; i < _tr; i++) { AbstractTerm term = (AbstractTerm)_trail[i]; term.Unbind(); } }