problem.java

SHOP2 一个人工智能里面关于任务分解和任务规划的系统。JSHOP2是其java版本。

		problemConstants[159] = "b103";
		problemConstants[160] = "b109";
		problemConstants[161] = "b128";
		problemConstants[162] = "b143";
		problemConstants[163] = "b206";
		problemConstants[164] = "b215";
		problemConstants[165] = "b216";
		problemConstants[166] = "b244";
		problemConstants[167] = "b247";
		problemConstants[168] = "b273";
		problemConstants[169] = "b297";
		problemConstants[170] = "b51";
		problemConstants[171] = "b55";
		problemConstants[172] = "b61";
		problemConstants[173] = "b70";
		problemConstants[174] = "b81";
		problemConstants[175] = "b115";
		problemConstants[176] = "b139";
		problemConstants[177] = "b140";
		problemConstants[178] = "b199";
		problemConstants[179] = "b222";
		problemConstants[180] = "b229";
		problemConstants[181] = "b240";
		problemConstants[182] = "b258";
		problemConstants[183] = "b260";
		problemConstants[184] = "b266";
		problemConstants[185] = "b290";
		problemConstants[186] = "b54";
		problemConstants[187] = "b62";
		problemConstants[188] = "b64";
		problemConstants[189] = "b82";
		problemConstants[190] = "b100";
		problemConstants[191] = "b113";
		problemConstants[192] = "b123";
		problemConstants[193] = "b127";
		problemConstants[194] = "b137";
		problemConstants[195] = "b151";
		problemConstants[196] = "b167";
		problemConstants[197] = "b170";
		problemConstants[198] = "b202";
		problemConstants[199] = "b259";
		problemConstants[200] = "b294";
		problemConstants[201] = "b74";
		problemConstants[202] = "b86";
		problemConstants[203] = "b101";
		problemConstants[204] = "b104";
		problemConstants[205] = "b106";
		problemConstants[206] = "b147";
		problemConstants[207] = "b161";
		problemConstants[208] = "b178";
		problemConstants[209] = "b227";
		problemConstants[210] = "b79";
		problemConstants[211] = "b107";
		problemConstants[212] = "b154";
		problemConstants[213] = "b155";
		problemConstants[214] = "b174";
		problemConstants[215] = "b188";
		problemConstants[216] = "b190";
		problemConstants[217] = "b223";
		problemConstants[218] = "b235";
		problemConstants[219] = "b269";
		problemConstants[220] = "b278";
		problemConstants[221] = "b293";
		problemConstants[222] = "b93";
		problemConstants[223] = "b142";
		problemConstants[224] = "b228";
		problemConstants[225] = "b233";
		problemConstants[226] = "b248";
		problemConstants[227] = "b281";
		problemConstants[228] = "b94";
		problemConstants[229] = "b95";
		problemConstants[230] = "b117";
		problemConstants[231] = "b157";
		problemConstants[232] = "b168";
		problemConstants[233] = "b198";
		problemConstants[234] = "b205";
		problemConstants[235] = "b217";
		problemConstants[236] = "b237";
		problemConstants[237] = "b249";
		problemConstants[238] = "b279";
		problemConstants[239] = "b287";
		problemConstants[240] = "b110";
		problemConstants[241] = "b111";
		problemConstants[242] = "b129";
		problemConstants[243] = "b134";
		problemConstants[244] = "b150";
		problemConstants[245] = "b165";
		problemConstants[246] = "b173";
		problemConstants[247] = "b177";
		problemConstants[248] = "b179";
		problemConstants[249] = "b207";
		problemConstants[250] = "b208";
		problemConstants[251] = "b268";
		problemConstants[252] = "b280";
		problemConstants[253] = "b130";
		problemConstants[254] = "b144";
		problemConstants[255] = "b148";
		problemConstants[256] = "b152";
		problemConstants[257] = "b158";
		problemConstants[258] = "b180";
		problemConstants[259] = "b194";
		problemConstants[260] = "b210";
		problemConstants[261] = "b232";
		problemConstants[262] = "b262";
		problemConstants[263] = "b291";
		problemConstants[264] = "b135";
		problemConstants[265] = "b171";
		problemConstants[266] = "b285";
		problemConstants[267] = "b141";
		problemConstants[268] = "b156";
		problemConstants[269] = "b209";
		problemConstants[270] = "b226";
		problemConstants[271] = "b252";
		problemConstants[272] = "b261";
		problemConstants[273] = "b276";
		problemConstants[274] = "b277";
		problemConstants[275] = "b145";
		problemConstants[276] = "b166";
		problemConstants[277] = "b175";
		problemConstants[278] = "b204";
		problemConstants[279] = "b214";
		problemConstants[280] = "b185";
		problemConstants[281] = "b213";
		problemConstants[282] = "b231";
		problemConstants[283] = "b251";
		problemConstants[284] = "b289";
		problemConstants[285] = "b189";
		problemConstants[286] = "b193";
		problemConstants[287] = "b220";
		problemConstants[288] = "b254";
		problemConstants[289] = "b271";
		problemConstants[290] = "b286";
		problemConstants[291] = "b296";
		problemConstants[292] = "b192";
		problemConstants[293] = "b288";
		problemConstants[294] = "b241";
		problemConstants[295] = "b243";
		problemConstants[296] = "b255";
		problemConstants[297] = "b292";
		problemConstants[298] = "b253";
		problemConstants[299] = "b283";

		return problemConstants;
	}

	private static void createState0(State s)	{
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(11), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(12), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(13), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(14), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(15), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(16), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(17), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(18), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(19), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(20), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(21), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(22), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(23), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(24), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(25), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(26), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(27), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(28), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(29), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(30), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(31), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(32), TermList.NIL)));