/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/cpviz/ |
H A D | CPvizNetworkFlow.java | 31 package org.jacop.examples.cpviz; 33 import org.jacop.constraints.netflow.NetworkBuilder; 34 import org.jacop.constraints.netflow.NetworkFlow; 35 import org.jacop.constraints.netflow.simplex.Node; 36 import org.jacop.core.IntVar; 37 import org.jacop.core.Store; 38 import org.jacop.core.Var; 39 import org.jacop.search.*;
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/ |
H A D | Cryptogram.java | 31 package org.jacop.examples.fd; 33 import org.jacop.constraints.Alldistinct; 34 import org.jacop.constraints.LinearInt; 35 import org.jacop.constraints.SumInt; 36 import org.jacop.constraints.XneqC; 37 import org.jacop.core.IntDomain; 38 import org.jacop.core.IntVar; 39 import org.jacop.core.Store;
|
H A D | PigeonHole.java | 31 package org.jacop.examples.fd; 33 import org.jacop.constraints.Alldiff; 34 import org.jacop.constraints.XneqY; 35 import org.jacop.core.IntVar; 36 import org.jacop.core.Store;
|
H A D | DeBruijn.java | 31 package org.jacop.examples.fd; 33 import org.jacop.constraints.Alldifferent; 34 import org.jacop.constraints.LinearInt; 35 import org.jacop.constraints.Min; 36 import org.jacop.constraints.XeqY; 37 import org.jacop.core.IntVar; 38 import org.jacop.core.Store;
|
H A D | BIBD.java | 31 package org.jacop.examples.fd; 33 import org.jacop.constraints.AndBool; 34 import org.jacop.constraints.SumInt; 35 import org.jacop.core.BooleanVar; 36 import org.jacop.core.IntVar; 37 import org.jacop.core.Store;
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/constraints/ |
H A D | AinS.java | 31 package org.jacop.set.constraints; 33 import org.jacop.constraints.PrimitiveConstraint; 34 import org.jacop.core.IntDomain; 35 import org.jacop.core.Store; 36 import org.jacop.set.core.SetDomain; 37 import org.jacop.set.core.SetVar;
|
H A D | SinA.java | 31 package org.jacop.set.constraints; 33 import org.jacop.constraints.PrimitiveConstraint; 34 import org.jacop.core.IntDomain; 35 import org.jacop.core.Store; 36 import org.jacop.set.core.SetDomain; 37 import org.jacop.set.core.SetVar;
|
H A D | EinA.java | 31 package org.jacop.set.constraints; 33 import org.jacop.constraints.PrimitiveConstraint; 34 import org.jacop.core.Store; 35 import org.jacop.set.core.SetDomain; 36 import org.jacop.set.core.SetVar;
|
H A D | ElementSet.java | 31 package org.jacop.set.constraints; 33 import org.jacop.api.SatisfiedPresent; 34 import org.jacop.constraints.Constraint; 35 import org.jacop.core.*; 36 import org.jacop.set.core.SetDomain; 37 import org.jacop.set.core.SetVar;
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/floats/constraints/ |
H A D | PgtQ.java | 31 package org.jacop.floats.constraints; 33 import org.jacop.constraints.PrimitiveConstraint; 34 import org.jacop.core.Store; 35 import org.jacop.floats.core.FloatDomain; 36 import org.jacop.floats.core.FloatVar;
|
H A D | PltQ.java | 31 package org.jacop.floats.constraints; 33 import org.jacop.constraints.PrimitiveConstraint; 34 import org.jacop.core.Store; 35 import org.jacop.floats.core.FloatDomain; 36 import org.jacop.floats.core.FloatVar;
|
H A D | PgteqQ.java | 31 package org.jacop.floats.constraints; 33 import org.jacop.constraints.PrimitiveConstraint; 34 import org.jacop.core.Store; 35 import org.jacop.floats.core.FloatDomain; 36 import org.jacop.floats.core.FloatVar;
|
H A D | PlteqQ.java | 31 package org.jacop.floats.constraints; 33 import org.jacop.constraints.PrimitiveConstraint; 34 import org.jacop.core.Store; 35 import org.jacop.floats.core.FloatDomain; 36 import org.jacop.floats.core.FloatVar;
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/search/ |
H A D | IndomainSetRandom.java | 31 package org.jacop.set.search; 33 import org.jacop.core.IntDomain; 34 import org.jacop.search.Indomain; 35 import org.jacop.set.core.SetVar;
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/ |
H A D | DecomposedConstraint.java | 31 package org.jacop.constraints; 33 import org.jacop.core.Store; 34 import org.jacop.core.Var; 216 public org.jacop.floats.core.FloatVar derivative(Store store, org.jacop.floats.core.FloatVar f, 217 java.util.Set<org.jacop.floats.core.FloatVar> vars, org.jacop.floats.core.FloatVar x) {
|
H A D | Not.java | 31 package org.jacop.constraints; 33 import org.jacop.api.UsesQueueVariable; 34 import org.jacop.core.Store; 35 import org.jacop.core.Var; 36 import org.jacop.util.QueueForward;
|
H A D | MinSimple.java | 31 package org.jacop.constraints; 33 import org.jacop.api.SatisfiedPresent; 34 import org.jacop.core.IntDomain; 35 import org.jacop.core.IntVar; 36 import org.jacop.core.Store;
|
H A D | MaxSimple.java | 31 package org.jacop.constraints; 33 import org.jacop.api.SatisfiedPresent; 34 import org.jacop.core.IntDomain; 35 import org.jacop.core.IntVar; 36 import org.jacop.core.Store;
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/floats/search/ |
H A D | LargestDomainFloat.java | 31 package org.jacop.floats.search; 33 import org.jacop.core.Var; 34 import org.jacop.floats.core.FloatVar; 35 import org.jacop.search.ComparatorVariable;
|
H A D | SmallestDomainFloat.java | 31 package org.jacop.floats.search; 33 import org.jacop.core.Var; 34 import org.jacop.floats.core.FloatVar; 35 import org.jacop.search.ComparatorVariable;
|
/dports/math/jacop/jacop-4.8.0/src/main/scala/org/jacop/examples/scala/ |
H A D | Nonogram.scala | 31 package org.jacop.examples.scala 36 import org.jacop.scala._ 50 object Nonogram extends jacop { 201 import org.jacop.constraints.ExtensionalSupportMDD 202 import org.jacop.constraints.regular.Regular 230 …getModel.imposeDecomposition(new Regular(result, board(i).asInstanceOf[Array[org.jacop.core.IntVar… 236 …alSupportMDD(result.transformDirectlyIntoMDD(board(i).asInstanceOf[Array[org.jacop.core.IntVar]]))) 247 …getModel.imposeDecomposition(new Regular(result, column.asInstanceOf[Array[org.jacop.core.IntVar]]… 253 …onalSupportMDD(result.transformDirectlyIntoMDD(column.asInstanceOf[Array[org.jacop.core.IntVar]])))
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/regular/ |
H A D | RegState.java | 32 package org.jacop.constraints.regular; 34 import org.jacop.core.IntDomain; 35 import org.jacop.core.IntervalDomain; 36 import org.jacop.core.TimeStamp;
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/jasat/modules/ |
H A D | HeuristicAssertionModule.java | 31 package org.jacop.jasat.modules; 34 import org.jacop.jasat.core.Core; 35 import org.jacop.jasat.core.SolverComponent; 36 import org.jacop.jasat.core.Trail;
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/flatzinc/ |
H A D | FlatzincSGMPCS.java | 31 package org.jacop.examples.flatzinc; 33 import org.jacop.core.IntVar; 34 import org.jacop.core.Store; 35 import org.jacop.fz.FlatzincLoader; 36 import org.jacop.search.sgmpcs.SGMPCSearch;
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/netflow/ |
H A D | DomainStructure.java | 32 package org.jacop.constraints.netflow; 34 import org.jacop.constraints.netflow.simplex.Arc; 35 import org.jacop.core.Domain; 36 import org.jacop.core.IntDomain; 37 import org.jacop.core.IntVar; 38 import org.jacop.core.Var; 43 import static org.jacop.constraints.netflow.simplex.NetworkSimplex.DELETED_ARC;
|