Uses of Interface
wpds.wildcard.Wildcard

Packages that use Wildcard

Package	Description
wpds.wildcard

Uses of Wildcard in wpds.wildcard

Subinterfaces of Wildcard in wpds.wildcard

Modifier and Type	Interface and Description
interface	ExclusionWildcard<Location>

Methods in wpds.wildcard that return Wildcard

Modifier and Type	Method and Description
abstract Wildcard	WildcardPushdownSystem.anyTransition()