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>
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
Factory
-
Factory
public Factory()
-
-
Method Details
-
make
- Specified by:
make
in interfaceStateMachineFactory<IFlowLabel>
-