@@ -0,0 +1,1025 @@
+package hu.webarticum.jsatbuilder.builder.common;%0A%0Aimport hu.webarticum.jsatbuilder.builder.core.Definition;%0Aimport hu.webarticum.jsatbuilder.solver.core.Solver;%0A%0Apublic class ConflictConstraint extends AbstractLiteralListConstraint %7B%0A%0A    public ConflictConstraint(Definition definition1, Definition definition2) %7B%0A        this(new DefinitionLiteral(definition1, true), new DefinitionLiteral(definition2, true));%0A    %7D%0A%0A    public ConflictConstraint(DefinitionLiteral literal1, DefinitionLiteral literal2) %7B%0A        this(false, literal1, literal2);%0A    %7D%0A    %0A    public ConflictConstraint(boolean required, DefinitionLiteral literal1, DefinitionLiteral literal2) %7B%0A        super(required, literal1, literal2);%0A    %7D%0A%0A    @Override%0A    public void fillSolver(Solver solver) %7B%0A        Solver.Clause clause = new Solver.Clause();%0A        for (Solver.Literal solverLiteral: getLiteralListManager().getSolverLiterals()) %7B%0A            clause.addLiteral(solverLiteral.getNegated());%0A        %7D%0A        solver.add(clause);%0A    %7D%0A%0A%7D%0A

Add ConflictConstraint