1 package it.unical.mat.embasp.platforms.android;
4 import android.content.Context;
6 import it.unical.mat.embasp.base.Callback;
7 import it.unical.mat.embasp.base.InputProgram;
8 import it.unical.mat.embasp.base.OptionDescriptor;
9 import it.unical.mat.embasp.base.Output;
14 protected Context context;
24 public Output startSync(List<InputProgram> programs, List<OptionDescriptor> options) {
31 public void startAsync(
Callback callback, List<InputProgram> programs, List<OptionDescriptor> options) {