Searched refs:isUsingQueues (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ | ||
H A D | EclipseEngine.java | 81 public boolean isUsingQueues(); method in interface:EclipseEngine |
H A D | EmbeddedEclipse.java | 191 useQueues = options.isUsingQueues(); 195 if (options.isUsingQueues()) 301 NativeEclipse.setOption(IntOption.IO , options.isUsingQueues()? 2 : 0); 810 public synchronized boolean isUsingQueues() method in class:EmbeddedEclipse |
H A D | OutOfProcessEclipse.java | 56 public synchronized boolean isUsingQueues() method in class:OutOfProcessEclipse 88 useQueues = options.isUsingQueues(); 99 if(!options.isUsingQueues()) |
H A D | EclipseEngineOptions.java | 344 boolean isUsingQueues() method in class:EclipseEngineOptions |
Completed in 146 milliseconds