public void Unwind(int count) { if (count == 0) { return; } for (int i = count; i < _tr; i++) { AbstractTerm term = (AbstractTerm)_trail[i]; term.Unbind(); } }
public void Unbind() { AbstractTerm term = new AbstractTerm(); ConstantTerm con = new ConstantTerm("ali"); term.Assign(con); term.Unbind(); Assert.AreNotSame(term.Reference(), con.Reference()); }