Lines Matching refs:term
46 * when a whole term has been completed.
65 * when a full term has been written, or when this stream is flushed.
122 * a compound term, its arguments, nested
156 // write the term o to the buffer
181 * Write a term o's worth of bytes to the buffer.
189 else if (o instanceof CompoundTerm) // compound term
320 * Write a compound term to the buffer in EXDR format
322 void writeStructure(CompoundTerm term) throws IOException
326 out.writeInt(term.arity());
328 writeString(term.functor());
330 for( int i=1 ; i <= term.arity() ; i++)
331 writeSub(term.arg(i));