Modifier and Type | Method and Description |
---|---|
static <A,B,C> Expression<C> |
fold(String name,
BiFunction<A,B,C> op,
Expression<A> left,
Expression<B> right) |
A |
getValue() |
Computation<A> |
implement(Features features)
Creates an implementation of this expression having specified
features.
|
protected void |
rewriteFields(List<?> args) |
arguments, checkArity, equals, equals, getName, hashCode, toString
implement, mapsTo
public A getValue()
protected void rewriteFields(List<?> args)
rewriteFields
in class Term<A>
public Computation<A> implement(Features features)
Expression
implement
in class Expression<A>
features
- the specified featurespublic static <A,B,C> Expression<C> fold(String name, BiFunction<A,B,C> op, Expression<A> left, Expression<B> right)
see also the complete user documentation .