EmbASP-Java
DLVHEXDesktopService.java
1 package it.unical.mat.embasp.specializations.dlvhex.desktop;
2 
3 import it.unical.mat.embasp.base.Output;
4 import it.unical.mat.embasp.platforms.desktop.DesktopService;
5 import it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets;
6 
7 public class DLVHEXDesktopService extends DesktopService {
8 
9  public DLVHEXDesktopService(final String exe_path) {
10  super(exe_path);
11 
12  load_from_STDIN_option = "--";
13  }
14 
15  @Override
16  protected Output getOutput(final String output, final String error) {
17  return new DLVHEXAnswerSets(output, error);
18  }
19 }
it.unical.mat.embasp.platforms.desktop.DesktopService
Definition: DesktopService.java:22
it.unical.mat.embasp.specializations.dlvhex.desktop.DLVHEXDesktopService
Definition: DLVHEXDesktopService.java:7
it.unical.mat.embasp.platforms.desktop.DesktopService.exe_path
String exe_path
Definition: DesktopService.java:24
it.unical.mat.embasp.base.Output
Definition: Output.java:4
it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets
Definition: DLVHEXAnswerSets.java:6