EmbASP-Java
EmbASP-Java
app
src
main
java
it
unical
mat
embasp
specializations
dlv
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
Generated by
1.8.17