com.ibm.wala.cfg.exc.intra

Class OperatorUtil

java.lang.Object

com.ibm.wala.cfg.exc.intra.OperatorUtil

public class OperatorUtil
extends java.lang.Object

Combinators for UnaryOperator

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OperatorUtil.UnaryOperatorSequence<T extends com.ibm.wala.fixpoint.IVariable<T>> An operator of the form lhs = op_1(op_2(..op_n(rhs)..))

Constructor Summary

Constructors

Constructor and Description
OperatorUtil()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OperatorUtil

public OperatorUtil()