Searched defs:eclipseEngineOptions (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/usr/eclipseclp/JavaInterface/tests/ | ||
H A D | QueueExample2.java | 36 static EclipseEngineOptions eclipseEngineOptions = new EclipseEngineOptions(); field in class:QueueExample2 |
H A D | EclipseMapColourer.java | 974 private EclipseEngineOptions eclipseEngineOptions; field in class:EclipseMapColourer |
Completed in 65 milliseconds