patternSolver.add(restriction);
}
private void createPatternPossibilities() {
for (Set<VerifierComponent> list : patternSolver.getPossibilityLists()) {
PatternPossibility possibility = new PatternPossibility();
possibility.setRuleId(ruleSolver.getRule().getId());
possibility.setRuleName(ruleSolver.getRule().getRuleName());
possibility.setRuleId(ruleSolver.getRule().getId());
possibility.setPatternId(patternSolver.getPattern().getId());
for (VerifierComponent descr : list) {
possibility.add((Restriction) descr);
}
ruleSolver.add(possibility);
patternPossibilities.add(possibility);
}