EmbASP-Java
ASPFilterOption.java
1 package it.unical.mat.embasp.languages.asp;
2 
3 import it.unical.mat.embasp.base.OptionDescriptor;
4 
7 public abstract class ASPFilterOption extends OptionDescriptor {
8  public ASPFilterOption() {
9  super("-filter=");
10  }
11 }
it.unical.mat.embasp.languages.asp.ASPFilterOption
Definition: ASPFilterOption.java:7
it.unical.mat.embasp.base.OptionDescriptor
Definition: OptionDescriptor.java:4