// GraphTools.transformGraph(pattern, at);
Graph template = _inputPanel.getTemplateGraph();
String matcherID = optionPanel.getSelectedMatcherID();
AbstractMatcher matcher = MatcherFactory.createMatcher(matcherID, pattern, template);
MatchingResult matchingResult = matcher.match(optionPanel.getMatchingOptions());
_matchingPanel.setOptions(_guiOptionPanel.showMatchingEdges(), _guiOptionPanel.showIndices(),
_guiOptionPanel.showTransformedPattern());
_matchingPanel.setMatchingResult(matchingResult);
resultPanel.setMatchingResult(matchingResult);
}