EmbASP-Java
DLVFilterOption.java
1 package it.unical.mat.embasp.specializations.dlv;
2 
3 import it.unical.mat.embasp.languages.asp.ASPFilterOption;
4 
5 public class DLVFilterOption extends ASPFilterOption {
6  public DLVFilterOption(final String initial_option) {
7  super();
8  options += initial_option;
9  }
10 }
it.unical.mat.embasp.languages.asp.ASPFilterOption
Definition: ASPFilterOption.java:7
it.unical.mat.embasp.specializations.dlv.DLVFilterOption
Definition: DLVFilterOption.java:5
it.unical.mat.embasp.base.OptionDescriptor.options
String options
Definition: OptionDescriptor.java:8