Searched defs:localSize (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ | ||
| H A D | EclipseEngineOptions.java | 67 private int localSize; field in class:EclipseEngineOptions 301 public void setLocalSize(int localSize) argument |
Completed in 77 milliseconds