1 package it.unical.mat.embasp.specializations.dlv2.desktop;
5 import it.unical.mat.embasp.base.Callback;
6 import it.unical.mat.embasp.base.InputProgram;
7 import it.unical.mat.embasp.base.OptionDescriptor;
8 import it.unical.mat.embasp.base.Output;
9 import it.unical.mat.embasp.platforms.desktop.DesktopService;
10 import it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets;
17 load_from_STDIN_option =
"--stdin";
21 protected Output getOutput(
final String output,
final String error) {
25 public void startAsync(
final Callback callback,
final List<InputProgram> programs,
final List<OptionDescriptor> options) {
26 super.startAsync(callback, programs, options);
30 public Output startSync(
final List<InputProgram> programs,
final List<OptionDescriptor> options) {
31 return super.startSync(programs, options);