Home
last modified time | relevance | path

Searched refs:jacop (Results 101 – 125 of 687) sorted by relevance

12345678910>>...28

/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/cpviz/
H A DCPvizNetworkFlow.java31 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 DCryptogram.java31 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 DPigeonHole.java31 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 DDeBruijn.java31 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 DBIBD.java31 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 DAinS.java31 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 DSinA.java31 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 DEinA.java31 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 DElementSet.java31 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 DPgtQ.java31 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 DPltQ.java31 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 DPgteqQ.java31 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 DPlteqQ.java31 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 DIndomainSetRandom.java31 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 DDecomposedConstraint.java31 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 DNot.java31 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 DMinSimple.java31 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 DMaxSimple.java31 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 DLargestDomainFloat.java31 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 DSmallestDomainFloat.java31 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 DNonogram.scala31 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 DRegState.java32 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 DHeuristicAssertionModule.java31 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 DFlatzincSGMPCS.java31 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 DDomainStructure.java32 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;

12345678910>>...28