CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_gen... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_glo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_c...