Class OperatorUtil.UnaryOperatorSequence<T extends IVariable<T>>

java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<T>
com.ibm.wala.fixpoint.UnaryOperator<T>
com.ibm.wala.cfg.exc.intra.OperatorUtil.UnaryOperatorSequence<T>
All Implemented Interfaces:
FixedPointConstants
Enclosing class:
OperatorUtil

public static class OperatorUtil.UnaryOperatorSequence<T extends IVariable<T>> extends UnaryOperator<T>
An operator of the form lhs = op_1(op_2(..op_n(rhs)..))
Author:
Martin Hecker, martin.hecker@kit.edu