public void Bind() { ConstantTerm term = new ConstantTerm(); ConstantTerm term2 = new ConstantTerm(); term.Bind(term2); Assert.AreSame(term, term.Reference()); }
public void Reference() { ConstantTerm term1 = new ConstantTerm(); ConstantTerm term2 = new ConstantTerm(); term1.Bind(term2); Assert.AreSame(term1, term1.Reference()); }