binarySequence
public static TimeChain<T, R> binarySequence<T extends Comparable<T>, R>(TimeChain<T, R> c1, TimeChain<T, R> us, BinaryOperator<R> op)
TODO: this should be different for left and right operands
Return
a chain of sequential updates
Parameters
c1
input signal of first argument
us
updates of second argument
op
operation to be performed (e.g. and/or)
<T>
time domain of the signals
<R>
evaluation domain of the semantics