Package edu.berkeley.cs.jqf.fuzz.ei
Class ExecutionIndex.Prefix
- java.lang.Object
-
- edu.berkeley.cs.jqf.fuzz.ei.ExecutionIndex.Prefix
-
- Enclosing class:
- ExecutionIndex
public static class ExecutionIndex.Prefix extends Object
-
-
Constructor Summary
Constructors Constructor Description Prefix(ExecutionIndex ei, int length)
-
-
-
Constructor Detail
-
Prefix
public Prefix(ExecutionIndex ei, int length)
-
-
Method Detail
-
size
public int size()
-
getEi
public ExecutionIndex getEi()
-
-