package graphmatcher.gui.optionpanel;
import graphmatcher.matcher.MatchingOptions;
import graphmatcher.matcher.simple.SimpleMatcher;
public class SimpleOptionPanel extends IOptionPanel {
@Override
public String getMatcherID() {
return SimpleMatcher.matcherID;
}
@Override
public MatchingOptions getMatchingOptions() {
MatchingOptions options = new MatchingOptions(SimpleMatcher.matcherID);
return options;
}
@Override
public String getDefaultFileName() {
return "simpleMatcher.txt";
}
@Override
public void setEditable(boolean editable) {
}
}