TermStreamer

TermStreamer()

Methods

Name Description
get_byte_size Get the byte size of the term streamer.
map Apply a transformer to all terms in the streamer.
normalize Sort and fuse all terms in the streamer.
push Push an expresssion to the term streamer.
to_expression Convert the term stream into an expression. This may exceed the available memory.

get_byte_size

TermStreamer.get_byte_size()

Get the byte size of the term streamer.

map

TermStreamer.map(f)

Apply a transformer to all terms in the streamer.

normalize

TermStreamer.normalize()

Sort and fuse all terms in the streamer.

push

TermStreamer.push(expr)

Push an expresssion to the term streamer.

to_expression

TermStreamer.to_expression()

Convert the term stream into an expression. This may exceed the available memory.