Term2 (BandM metatools API doc)

public abstract class Term2<A1,A2,B>
extends Term<B>

Constructors
Modifier	Constructor and Description
`protected`	`Term2(String name, Expression<? extends A1> arg1, Expression<? extends A2> arg2)`

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`protected abstract B`	`apply(A1 a1, A2 a2)`
`protected Features`	`features1(Features features)`
`protected Features`	`features2(Features features)`
`protected Expression<? extends A1>`	`getArg1()`
`protected Expression<? extends A2>`	`getArg2()`
`Computation<B>`	`implement(Features features)` Creates an implementation of this expression having specified features.
`protected void`	`rewriteFields(List<?> args)`

Methods inherited from class eu.bandm.tools.ops.meta.Term
arguments, checkArity, equals, equals, getName, hashCode, toString

Methods inherited from class eu.bandm.tools.ops.meta.Expression
implement, mapsTo

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

protected Term2(String name,
                Expression<? extends A1> arg1,
                Expression<? extends A2> arg2)

protected Expression<? extends A1> getArg1()

protected Expression<? extends A2> getArg2()

protected Features features1(Features features)

protected Features features2(Features features)

protected abstract B apply(A1 a1,
                           A2 a2)

Class Term2<A1,A2,B>