[PPL-devel] ppl ./instchk.hh interfaces/ppl_interface_gene ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-02-10 22:17:38

Modified files:
	.              : instchk.hh 
	interfaces     : ppl_interface_generator_common_dat.m4 
	interfaces/C   : Makefile.am ppl_interface_generator_c_cc.m4 
	interfaces/Java/jni: Makefile.am ppl_java_common.hh 
	interfaces/OCaml: Makefile.am ppl_ocaml_globals.cc 
	interfaces/Prolog: ppl_prolog_common.icc 

Log message:
	Enable all 13 types of boxes in interfaced_boxes.hh
	for all the interfaces, as they are or as disjuncts to the
	powerset domain or as components of the product domain.
	
	instchk.hh allows for all of these boxes to be
	arguments to "-instantiations" in the configuration.
	
	Macro m4_get_class_index name changed to
	m4_get_class_counter so that the word "counter" is used
	consistently for the number associated to the class being
	generated.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff?cvsroot=ppl&r1=1.39&r2=1.40
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc.m4.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.am.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.diff?cvsroot=ppl&r1=1.37&r2=1.38
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_globals.cc.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.icc.diff?cvsroot=ppl&r1=1.14&r2=1.15