Unbind() public method

public Unbind ( ) : void
return void
AbstractTerm Class Documentation
Example #1
0
 public void Unwind(int count)
 {
     if (count == 0)
     {
         return;
     }
     for (int i = count; i < _tr; i++)
     {
         AbstractTerm term = (AbstractTerm)_trail[i];
         term.Unbind();
     }
 }
Example #2
0
        public void Unbind()
        {
            AbstractTerm term = new AbstractTerm();
            ConstantTerm con = new ConstantTerm("ali");

            term.Assign(con);

            term.Unbind();

            Assert.AreNotSame(term.Reference(), con.Reference());
        }