Package | Description |
---|---|
gov.nasa.jpf.util | |
java.util.regex |
Class and Description |
---|
Pattern
simplified model of java.util.refex.Pattern, which otherwise
is very expensive in terms of state memory and execution costs
|
Class and Description |
---|
Matcher
model of a regular expression matcher, to save memory and execution time
|
Pattern
simplified model of java.util.refex.Pattern, which otherwise
is very expensive in terms of state memory and execution costs
|