Examples of solver.constraints.reification.PropOpposite

solver.constraints.reification.PropOpposite
Constraint representing the negation of a given constraint does not filter but fails if the given constraint is satisfied Can be used within any constraint
Should not be called by the user @author Jean-Guillaume Fages @since 15/05/2013

                    allvars.add(v);
                }
            }
            vars = allvars.toArray(new Variable[0]);
        }
        return new Constraint("DefaultOppositeOf" + name, new PropOpposite(this, vars));
    }

View Full Code Here

TOP

Related Classes of solver.constraints.reification.PropOpposite

solver.constraints.Constraint

util.ESat

solver.exception.SolverException

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.