Package com.ibm.wala.cfg.exc.intra

Class OperatorUtil

java.lang.Object

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

public class OperatorUtil
extends Object

Combinators for UnaryOperator

Author:

Martin Hecker, martin.hecker@kit.edu

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Constructor	Description
OperatorUtil()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Details

OperatorUtil

public OperatorUtil()