|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ResourceFacadeFilter | |
|---|---|
| com.kuka.nav.robot | Provides interfaces and classes for mobile robots. |
| Uses of ResourceFacadeFilter in com.kuka.nav.robot |
|---|
| Methods in com.kuka.nav.robot that return ResourceFacadeFilter | ||
|---|---|---|
static
|
MobileRobotFilters.id(int value)
Creates a filter that selects only mobile robots with a certain id. |
|
static
|
MobileRobotFilters.map(int id)
Creates a filter that selects only mobile robots on a certain map. |
|
static
|
MobileRobotFilters.name(String name)
Creates a filter that selects only mobile robots with a certain name. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||