@@ -0,0 +1,1133 @@
+package hu.webarticum.jsatbuilder.builder.common;%0A%0Aimport java.util.Collection;%0A%0Aimport hu.webarticum.jsatbuilder.builder.core.Definition;%0Aimport hu.webarticum.jsatbuilder.solver.core.Solver;%0A%0Apublic class AllHelper extends AbstractLiteralListHelper %7B%0A%0A    public AllHelper(Definition... definitions) %7B%0A        super(definitions);%0A    %7D%0A    %0A    public AllHelper(DefinitionLiteral... literals) %7B%0A        super(literals);%0A    %7D%0A    %0A    public AllHelper(Collection%3C?%3E literalsOrDefinitions) %7B%0A        super(literalsOrDefinitions);%0A    %7D%0A%0A    @Override%0A    public void fillSolver(Solver solver) %7B%0A        Solver.Clause backClause = new Solver.Clause();%0A        backClause.addLiteral(new Solver.Literal(this, true));%0A        %0A        for (Solver.Literal literal: getLiteralListManager().getSolverLiterals()) %7B%0A            Solver.Clause clause = new Solver.Clause();%0A            clause.addLiteral(literal);%0A            clause.addLiteral(new Solver.Literal(this, false));%0A            solver.add(clause);%0A            %0A            backClause.addLiteral(literal.getNegated());%0A        %7D%0A        %0A        solver.add(backClause);%0A    %7D%0A    %0A%7D%0A

Add AllHelper