Uses of Package
java.util.regex

Packages that use java.util.regex

Package	Description
gov.nasa.jpf.util
java.util.regex

Classes in java.util.regex used by gov.nasa.jpf.util

Class and Description
Pattern simplified model of java.util.refex.Pattern, which otherwise is very expensive in terms of state memory and execution costs

Classes in java.util.regex used by java.util.regex

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