Class ContextSensitiveStateMachine.Factory

java.lang.Object
com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.Factory
All Implemented Interfaces:
StateMachineFactory<IFlowLabel>
Enclosing class:
ContextSensitiveStateMachine

public static class ContextSensitiveStateMachine.Factory extends Object implements StateMachineFactory<IFlowLabel>