Searched refs:GLOBALSIZE (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java294 res = NativeEclipse.setOption(IntOption.GLOBALSIZE , options.getGlobalSize() * options.MEGABYTE);
367 static final int GLOBALSIZE = 5; field in interface:EmbeddedEclipse.IntOption

Completed in 208 milliseconds