Modifier and Type | Field and Description |
---|---|
Streaming.Environment |
Streaming.Environment.next |
Modifier and Type | Method and Description |
---|---|
(package private) static Trees |
Streaming.find_homomorphisms(Tree e,
Streaming.Environment env)
find all homomorphic terms in the algebraic term e
|
(package private) static Tree |
Streaming.generate_code(Tree e,
Streaming.Environment env)
Convert a stream-based query to an incremental stream-based program.
|
(package private) static Tree |
Streaming.inference(Tree e,
Streaming.Environment env)
If e is a homomorphism, return the associated monoid;
if it returns none, then it fails to find a monoid;
if it returns fixed, then its invariant.
|
(package private) static Tree |
Streaming.split_trace(Tree e,
Tree var,
Streaming.Environment env)
Split the term e into a homomorhism and an answer function
|
(package private) static Tree |
Streaming.split(Tree e,
Tree var,
Streaming.Environment env)
Split the term e into a homomorhism and an answer function
|
Constructor and Description |
---|
Environment(String n,
Tree m,
Streaming.Environment next) |
Copyright © 2013-2016 The Apache Software Foundation. All Rights Reserved.