(* Selct.nb ------------------------------------------------------------- *)

(* The posets that have the desired property are written to a specified 
	file. *)

(* Utility Needed: WriteLstOfLst[]. *)

(* User needs to specify the directory, the file with the test, the 
	starting size, the ending size, the input file family, the output file 
	family, and the desired test. *)

(* Change the directory: *)
SetDirectory["G:/.isis/home/c/a/cagann/public_html/Posets"];
<< GenrlUtils.m;

(* Change the file with the desired test. *) 
<< PstPropTsts.m;  

(* Change starting size: *)    nstrt = 1;
(* Change ending size: *)       nend = 9;

(* Change input family: *)     infam = "UMaxmls/umaxmls";
(* Change output family: *)    outfam = "Cnctdcs/cnctdcs";

Do[
	inpt = ReadList[ StringJoin[infam,ToString[nc]] ];
	outfl = StringJoin[ outfam, ToString[nc] ];

	(* Change the test to be performed. *)
	WriteLstOfLst[
		outfl,
		Select[
			inpt,
			dCompltQ[#]&
		]
	]
,{nc,nstrt,nend}];

(* End of Selct.nb. *)