ToTerm() public method

public ToTerm ( ) : Term
return Term
Esempio n. 1
0
 /// <summary>
 /// Returns the previous Term enumerated. Initially <c>null</c>. </summary>
 internal Term Prev()
 {
     return(prevBuffer.ToTerm());
 }
Esempio n. 2
0
 /// <summary>
 /// Returns the current Term in the enumeration.
 /// Initially invalid, valid after <see cref="Next()"/> called for the first time.
 /// </summary>
 public Term Term()
 {
     return(termBuffer.ToTerm());
 }