Home
last modified time | relevance | path

Searched refs:SetVar (Results 1 – 25 of 655) sorted by relevance

12345678910>>...27

/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/set/
H A DExampleSet.java88 …SelectChoicePoint<SetVar> select = new SimpleSelect<SetVar>(vars.toArray(new SetVar[1]), null, new… in search()
123 …SelectChoicePoint<SetVar> select = new SimpleSelect<SetVar>(vars.toArray(new SetVar[1]), null, new… in searchOptimal()
151 …SelectChoicePoint<SetVar> select = new SimpleSelect<SetVar>(vars.toArray(new SetVar[1]), null, new… in searchAllOptimal()
181 …new SimpleSelect<SetVar>(vars.toArray(new SetVar[1]), new SmallestDomain<SetVar>(), new IndomainSe… in searchSmallestDomain()
225 …new SimpleSelect<SetVar>(vars.toArray(new SetVar[1]), new WeightedDegree<SetVar>(store), new Small… in searchWeightedDegree()
263 …new SimpleSelect<SetVar>(vars.toArray(new SetVar[1]), new MostConstrainedStatic<SetVar>(), new Ind… in searchMostConstrainedStatic()
293 …new SimpleSelect<SetVar>(vars.toArray(new SetVar[1]), new MostConstrainedStatic<SetVar>(), new Ind… in searchAllAtOnce()
331 Search<SetVar> labelSlave = new DepthFirstSearch<SetVar>(); in searchMasterSlave()
333 … new SimpleSelect<SetVar>(slaveVars.toArray(new SetVar[0]), null, new IndomainSetMin<SetVar>()); in searchMasterSlave()
336 Search<SetVar> labelMaster = new DepthFirstSearch<SetVar>(); in searchMasterSlave()
[all …]
H A DGardner.java45 import org.jacop.set.core.SetVar;
82 SetVar[] days = new SetVar[num_days]; in model()
85 days[i] = new SetVar(store, "days[" + i + "]", new BoundSetDomain(1, persons)); in model()
87 vars = new ArrayList<SetVar>(); in model()
89 for (SetVar d : days) in model()
103 … SetVar intersect = new SetVar(store, "intersect" + i + "-" + j, new BoundSetDomain(1, persons)); in model()
124 Search<SetVar> label = new DepthFirstSearch<SetVar>(); in search()
126 SelectChoicePoint<SetVar> select = in search()
127 …new SimpleSelect<SetVar>(vars.toArray(new SetVar[vars.size()]), null, new IndomainSetMin<SetVar>()… in search()
H A DSteiner.java46 import org.jacop.set.core.SetVar;
93 vars = new ArrayList<SetVar>(); in model()
94 SetVar[] s = new SetVar[t]; in model()
97 s[i] = new SetVar(store, "s" + i, new BoundSetDomain(1, n)); in model()
104 SetVar temp = new SetVar(store, "temp" + i + "," + j, new BoundSetDomain(1, n)); in model()
138 Search<SetVar> label = new DepthFirstSearch<SetVar>(); in search()
140 SelectChoicePoint<SetVar> select = in search()
141 …new SimpleSelect<SetVar>(vars.toArray(new SetVar[vars.size()]), new MaxCardDiff<SetVar>(), new Ind… in search()
H A DSocialGolfer.java44 import org.jacop.set.core.SetVar;
68 SetVar[][] golferGroup;
182 golferGroup = new SetVar[weeks][groups]; in model()
184 vars = new ArrayList<SetVar>(); in model()
201 SetVar t = golferGroup[i][0]; in model()
204 SetVar r = new SetVar(store, "r-" + i + "-" + j, new BoundSetDomain(1, N)); in model()
219 …SetVar result = new SetVar(store, "res" + i + "-" + j + "-" + k + "-" + l, new BoundSetDomain(1, N… in model()
261 Search<SetVar> label = new DepthFirstSearch<SetVar>(); in search()
263 SelectChoicePoint<SetVar> select = in search()
264 …new SimpleSelect<SetVar>(vars.toArray(new SetVar[vars.size()]), new MinLubCard<SetVar>(), new MaxG… in search()
[all …]
/dports/math/gecode/gecode-0916a1a/gecode/set/var/
H A Dset.hpp46 SetVar::SetVar(void) {} in SetVar() function in Gecode::SetVar
49 SetVar::SetVar(const SetVar& y) in SetVar() function in Gecode::SetVar
53 SetVar::SetVar(const Set::SetView& y) in SetVar() function in Gecode::SetVar
63 SetVar::glbSize(void) const { return x->glbSize(); } in glbSize()
66 SetVar::lubSize(void) const { return x->lubSize(); } in lubSize()
84 SetVar::lubMin(void) const { return x->lubMin(); } in lubMin()
87 SetVar::lubMax(void) const { return x->lubMax(); } in lubMax()
90 SetVar::glbMin(void) const { return x->glbMin(); } in glbMin()
93 SetVar::glbMax(void) const { return x->glbMax(); } in glbMax()
106 SetVarGlbRanges::SetVarGlbRanges(const SetVar& s) in SetVarGlbRanges()
[all …]
H A Dset.cpp43 SetVar::SetVar(Space& home) in SetVar() function in Gecode::SetVar
46 SetVar::SetVar(Space& home,int lbMin,int lbMax,int ubMin,int ubMax, in SetVar() function in Gecode::SetVar
61 SetVar::SetVar(Space& home, const IntSet& glb,int ubMin,int ubMax, in SetVar() function in Gecode::SetVar
74 SetVar::SetVar(Space& home,int lbMin,int lbMax,const IntSet& lub, in SetVar() function in Gecode::SetVar
89 SetVar::SetVar(Space& home, in SetVar() function in Gecode::SetVar
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/fz/constraints/
H A DSetConstraints.java45 import org.jacop.set.core.SetVar;
63 SetVar v1 = support.getSetVariable(node, 0); in gen_set_card()
77 SetVar v1 = support.getSetVariable(node, 0); in gen_set_diff()
78 SetVar v2 = support.getSetVariable(node, 1); in gen_set_diff()
79 SetVar v3 = support.getSetVariable(node, 2); in gen_set_diff()
85 SetVar v1 = support.getSetVariable(node, 0); in gen_set_eq()
86 SetVar v2 = support.getSetVariable(node, 1); in gen_set_eq()
94 SetVar v1 = support.getSetVariable(node, 0); in gen_set_eq_reif()
95 SetVar v2 = support.getSetVariable(node, 1); in gen_set_eq_reif()
264 … SetVar t1 = new SetVar(store, new BoundSetDomain(SetDomain.MinElement, SetDomain.MaxElement)); in gen_set_symdiff()
[all …]
/dports/math/gecode/gecode-0916a1a/gecode/
H A Dset.hh135 SetVar(void);
137 SetVar(const SetVar& y);
708 dom(Home home, SetVar x, SetVar d);
723 rel(Home home, SetVar x, SetRelType r, SetVar y);
726 rel(Home home, SetVar x, SetRelType rt, SetVar y, Reify r);
767 rel(Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z);
790 rel(Home home, SetVar x, SetOpType op, SetVar y,
805 ite(Home home, BoolVar b, SetVar x, SetVar y, SetVar z);
820 convex(Home home, SetVar x, SetVar y);
975 element(Home home, SetOpType op, const SetVarArgs& x, SetVar y, SetVar z,
[all …]
/dports/math/gecode/gecode-0916a1a/gecode/set/
H A Darray.hpp52 : VarArgArray<SetVar>(n) {} in SetVarArgs()
56 : VarArgArray<SetVar>(a) {} in SetVarArgs()
59 SetVarArgs::SetVarArgs(const VarArray<SetVar>& a) in SetVarArgs()
60 : VarArgArray<SetVar>(a) {} in SetVarArgs()
63 SetVarArgs::SetVarArgs(const std::vector<SetVar>& a) in SetVarArgs()
64 : VarArgArray<SetVar>(a) {} in SetVarArgs()
67 SetVarArgs::SetVarArgs(std::initializer_list<SetVar> a) in SetVarArgs()
68 : VarArgArray<SetVar>(a) {} in SetVarArgs()
73 : VarArgArray<SetVar>(first,last) {} in SetVarArgs()
81 : VarArray<SetVar>(a) {} in SetVarArray()
[all …]
H A Darray.cpp45 : VarArray<SetVar>(home,n) { in SetVarArray()
47 x[i] = SetVar(home); in SetVarArray()
54 : VarArray<SetVar>(home,n) { in SetVarArray()
74 : VarArray<SetVar>(home,n) { in SetVarArray()
93 : VarArray<SetVar>(home,n) { in SetVarArray()
114 : VarArray<SetVar>(home,n) { in SetVarArray()
128 x[i] = SetVar(home,glb,lub,minCard,maxCard); in SetVarArray()
135 : VarArgArray<SetVar>(n) { in SetVarArgs()
155 : VarArgArray<SetVar>(n) { in SetVarArgs()
174 : VarArgArray<SetVar>(n) { in SetVarArgs()
[all …]
H A Darray-traits.hpp47 class ArrayTraits<VarArgArray<SetVar> > {
50 typedef SetVar ValueType;
56 class ArrayTraits<VarArray<SetVar> > {
59 typedef SetVar ValueType;
68 typedef SetVar ValueType;
76 typedef SetVar ValueType;
H A Delement.cpp52 element(Home home, SetOpType op, const SetVarArgs& x, SetVar y, SetVar z, in element()
92 element(Home home, SetOpType op, const IntVarArgs& x, SetVar y, SetVar z, in element()
132 element(Home home, SetOpType op, const IntSetArgs& x, SetVar y, SetVar z, in element()
177 element(Home home, SetOpType op, const IntArgs& x, SetVar y, SetVar z, in element()
186 element(Home home, const SetVarArgs& x, IntVar y, SetVar z) { in element()
201 element(Home home, const IntSetArgs& x, IntVar y, SetVar z) { in element()
228 IntVar x, int w, IntVar y, int h, SetVar z) { in element()
239 IntVar x, int w, IntVar y, int h, SetVar z) { in element()
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/cpviz/
H A DCPvizGardner.java42 import org.jacop.set.core.SetVar;
88 SetVar[] days = new SetVar[35]; in ex1()
90 days[i] = new SetVar(store, "days[" + i + "]", 1, persons); in ex1()
103 SetVar intersect = new SetVar(store, "" + i + j, 1, persons); in ex1()
115 Search<SetVar> label = new DepthFirstSearch<SetVar>(); in ex1()
117 …SelectChoicePoint<SetVar> varSelect = new SimpleSelect<SetVar>(days, null, new IndomainSetMin<SetV… in ex1()
119 label.setSolutionListener(new SimpleSolutionListener<SetVar>()); in ex1()
124 SelectChoicePoint<SetVar> select = new TraceGenerator<SetVar>(label, varSelect); //, days); in ex1()
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/constraints/
H A DElementSetVariable.java36 import org.jacop.set.core.SetVar;
73 final public SetVar value;
84 final public SetVar list[];
94 public ElementSetVariable(IntVar index, SetVar[] list, SetVar value, int indexOffset) { in ElementSetVariable()
117 public ElementSetVariable(IntVar index, List<? extends SetVar> list, SetVar value) { in ElementSetVariable()
119 this(index, list.toArray(new SetVar[list.size()]), value, 0); in ElementSetVariable()
131 …public ElementSetVariable(IntVar index, List<? extends SetVar> list, SetVar value, int indexOffset… in ElementSetVariable()
144 public ElementSetVariable(IntVar index, SetVar[] list, SetVar value) { in ElementSetVariable()
179 SetVar v = list[index.value() - 1 - indexOffset]; in consistency()
187 SetVar v = list[index.value() - 1 - indexOffset]; in consistency()
[all …]
H A DAinB.java36 import org.jacop.set.core.SetVar;
57 public SetVar a;
62 public SetVar b;
76 public AinB(SetVar a, SetVar b) { in AinB()
96 public AinB(SetVar a, SetVar b, boolean strict) { in AinB()
/dports/games/gemrb/gemrb-0.9.0/gemrb/GUIScripts/bg2/
H A DCharGen.py25 GemRB.SetVar("Gender",0) #gender
26 GemRB.SetVar("Race",0) #race
27 GemRB.SetVar("Class",0) #class
28 GemRB.SetVar("Class Kit",0) #class
29 GemRB.SetVar("Alignment",-1) #alignment
35 GemRB.SetVar ("ImportedChar", 0)
H A DStart2.py127 GemRB.SetVar("PlayMode",-1) #will allow export
128 GemRB.SetVar("Slot",1)
135 GemRB.SetVar ("PlayMode", 2)
137 GemRB.SetVar ("PlayMode", 0)
144 GemRB.SetVar ("PlayMode", 2)
146 GemRB.SetVar ("PlayMode", 0)
147 GemRB.SetVar("Slot",1)
154 GemRB.SetVar ("PlayMode", 0)
176 GemRB.SetVar("PlayMode",1) #tutorial
177 GemRB.SetVar("Slot",1)
H A DGUICG4.py89 GemRB.SetVar("Ability",0)
90 GemRB.SetVar("Ability -1",0)
102 GemRB.SetVar("StrExtra", e)
118 GemRB.SetVar("Ability "+str(i), v )
235 GemRB.SetVar("Ability "+str(Abidx), Ability-1)
237 GemRB.SetVar("Ability -1",PointsLeft)
267 GemRB.SetVar("Ability "+str(Abidx), Ability+1)
269 GemRB.SetVar("Ability -1",PointsLeft)
295 GemRB.SetVar("StrExtra",e)
300 GemRB.SetVar("Ability "+str(i), v)
[all …]
/dports/games/gemrb/gemrb-0.9.0/gemrb/GUIScripts/bg1/
H A DGUICG2.py37 GemRB.SetVar("Class",0)
38 GemRB.SetVar("Multi Class",0)
39 GemRB.SetVar("Specialist",0)
40 GemRB.SetVar("Class Kit",0)
57 GemRB.SetVar("MAGESCHOOL",0)
73 GemRB.SetVar("MAGESCHOOL",5) #illusionist
116 GemRB.SetVar("Multi Class",1)
121 GemRB.SetVar("Specialist",1)
123 GemRB.SetVar("Class Kit", 0)
124 GemRB.SetVar("Class", 6)
H A DStart.py38 GemRB.SetVar ("SkipIntroVideos", 1)
90 GemRB.SetVar("PlayMode",0) #loadgame needs this hack
91 GemRB.SetVar("Slot",1)
93 GemRB.SetVar("PlayMode",-1)
98 GemRB.SetVar("PlayMode",0)
104 GemRB.SetVar("PlayMode",1)
110 GemRB.SetVar("PlayMode",0)
111 GemRB.SetVar("Slot",1)
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/fz/
H A DSearchItem.java39 import org.jacop.set.core.SetVar;
389 SetVar[] searchVars = new SetVar[search_variables.length]; in getSetSelect()
394 return new SimpleSelect<SetVar>((SetVar[]) searchVars, var_sel, indom); in getSetSelect()
396 return new SimpleSelect<SetVar>((SetVar[]) searchVars, var_sel, tieBreaking, indom); in getSetSelect()
413 return new IndomainSetMin<SetVar>(); in getIndomain4Set()
585 return new MinCardDiff<SetVar>(); in getSetVarSelect()
587 return new MinGlbCard<SetVar>(); in getSetVarSelect()
591 return new MaxCardDiff<SetVar>(); in getSetVarSelect()
624 return new MaxLubCard<SetVar>(); in getSetVarSelect()
628 return new RandomVar<SetVar>(); in getSetVarSelect()
[all …]
/dports/games/gemrb/gemrb-0.9.0/gemrb/GUIScripts/
H A DGUICommonWindows.py329 GemRB.SetVar ("AI", 0)
689 GemRB.SetVar ("Type", -1)
762 GemRB.SetVar ("TopIndex", 0)
793 GemRB.SetVar ("TopIndex", 0)
802 GemRB.SetVar ("TopIndex", 0)
812 GemRB.SetVar ("TopIndex", 0)
882 GemRB.SetVar ("TopIndex", 0)
964 GemRB.SetVar ("QSpell", -1)
1021 GemRB.SetVar ("QSpell", -1)
1161 GemRB.SetVar("Type", 0)
[all …]
/dports/math/gecode/gecode-0916a1a/examples/
H A Dsteiner.cpp71 SetVar x = triples[i]; in Steiner()
72 SetVar y = triples[j]; in Steiner()
74 SetVar atmostOne(*this,IntSet::empty,1,n,0U,1U); in Steiner()
103 SetVar sx1 = expr(*this, singleton(x1)); in Steiner()
104 SetVar sx2 = expr(*this, singleton(x2)); in Steiner()
105 SetVar sx3 = expr(*this, singleton(x3)); in Steiner()
106 SetVar sy1 = expr(*this, singleton(y1)); in Steiner()
107 SetVar sy2 = expr(*this, singleton(y2)); in Steiner()
108 SetVar sy3 = expr(*this, singleton(y3)); in Steiner()
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/core/
H A DSetVar.java47 public class SetVar extends Var { class
62 public SetVar(Store store, String name, SetDomain dom) { in SetVar() method in SetVar
87 public SetVar(Store store, SetDomain dom) { in SetVar() method in SetVar
94 public SetVar() { in SetVar() method in SetVar
104 public SetVar(Store store) { in SetVar() method in SetVar
116 public SetVar(Store store, int min, int max) { in SetVar() method in SetVar
128 public SetVar(Store store, String name) { in SetVar() method in SetVar
141 public SetVar(Store store, String name, int min, int max) { in SetVar() method in SetVar
213 public boolean eq(SetVar var) { in eq()
/dports/games/colobot/colobot-colobot-gold-0.2.0-alpha/src/CBot/CBotInstr/
H A DCBotExpression.cpp224 pile2->SetVar(result); in Execute()
228 pile2->SetVar(result); in Execute()
232 pile2->SetVar(result); in Execute()
238 pile2->SetVar(result); in Execute()
244 pile2->SetVar(result); in Execute()
248 pile2->SetVar(result); in Execute()
252 pile2->SetVar(result); in Execute()
256 pile2->SetVar(result); in Execute()
260 pile2->SetVar(result); in Execute()
264 pile2->SetVar(result); in Execute()
[all …]

12345678910>>...27