public interface IndexedTerm extends Termable
int
getIndex()
Term
getTerm()
asTerm
Term getTerm()
int getIndex()