Uses of Interface
edu.mit.csail.sdg.alloy4.WorkerEngine.WorkerTask

Packages that use WorkerEngine.WorkerTask

edu.mit.csail.sdg.alloy4

This package contains general data structures and helper classes.

Uses of WorkerEngine.WorkerTask in edu.mit.csail.sdg.alloy4

Methods in edu.mit.csail.sdg.alloy4 with parameters of type WorkerEngine.WorkerTask

static void	WorkerEngine.run(WorkerEngine.WorkerTask task, int newmem, int newstack, java.lang.String jniPath, java.lang.String classPath, WorkerEngine.WorkerCallback callback) This issues a new task to the subprocess; if subprocess hasn't been constructed yet or has terminated abnormally, this method will launch a new subprocess.
static void	WorkerEngine.runLocally(WorkerEngine.WorkerTask task, WorkerEngine.WorkerCallback callback) This executes a task using the current thread.