CVSROOT: /cvs/alv
Module name: composite
Changes by: roberto(a)spartacus.cs.unipr.it 03/01/08 11:16:50
Log message:
As received from Ken Mixter.
Status:
Vendor Tag: KM
Release Tags: COMPOSITE_PPL_0_1
N composite/codegen/generate.c
N composite/codegen/generate.h
N composite/composition/Composition.c
N composite/composition/Composition.h
N composite/obj-linux/Makefile
N composite/parser/Action.c
N composite/parser/Action.h
N composite/parser/StringUtil.c
N composite/parser/StringUtil.h
N composite/parser/SymbolTable.c
N composite/parser/SymbolTable.h
N composite/parser/TypeInfo.c
N composite/parser/TypeInfo.h
N composite/parser/lexer.l
N composite/parser/main.c
N composite/parser/parser.y
N composite/parser/yylex.h
N composite/predabs/AbsAction.cc
N composite/predabs/AbsSpec.cc
N composite/predabs/AbsUtil.cc
N composite/predabs/ErrTrace.cc
N composite/predabs/HaTransSys.cc
N composite/predabs/bPredVar.cc
N composite/predabs/AbsAction.h
N composite/predabs/AbsSpec.h
N composite/predabs/AbsUtil.h
N composite/predabs/ErrTrace.h
N composite/predabs/HaTransSys.h
N composite/predabs/bPredVar.h
N composite/predabs/elimparser.y
N composite/predabs/predparser.y
N composite/predabs/elimlexer.l
N composite/predabs/predlexer.l
N composite/predabs/elimscript.txt
N composite/predabs/sedscript.txt
N composite/symbolic/BoolSym.c
N composite/symbolic/BoolSym.h
N composite/symbolic/CompSym.c
N composite/symbolic/CompSym.h
N composite/symbolic/IntSym.c
N composite/symbolic/IntSym.h
N composite/symbolic/RealSym.c
N composite/symbolic/RealSym.h
N composite/symbolic/Symbolic.c
N composite/symbolic/Symbolic.h
N composite/symcache/SymCache.c
N composite/symcache/SymCache.h
N composite/util/Formula.c
N composite/util/Formula.h
N composite/util/LinkedList.c
N composite/util/LinkedList.h
N composite/util/Node.c
N composite/util/Node.h
N composite/util/Set.c
N composite/util/Set.h
N composite/util/Stack.c
N composite/util/Stack.h
N composite/util/bool.h
N composite/util/parmiface.c
N composite/util/parmiface.h
N composite/verifier/TransSys.c
N composite/verifier/TransSys.h
N composite/examples/bakery2i.al
N composite/examples/bakery2l.al
N composite/examples/bakery3i.al
N composite/examples/bakery3l.al
N composite/examples/bakery4i.al
N composite/examples/bakery4l.al
N composite/examples/bakeryint.al
N composite/examples/barber1.al
N composite/examples/barber2.al
N composite/examples/barber3.al
N composite/examples/barber4.al
N composite/examples/barber5.al
N composite/examples/barber.al
N composite/examples/barberm1.al
N composite/examples/barberm2-1
N composite/examples/barberm2-2
N composite/examples/barberm2-3
N composite/examples/barberm2.al
N composite/examples/barberm3-1
N composite/examples/barberm3-2
N composite/examples/barberm3-3
N composite/examples/barberm3.al
N composite/examples/barberm4-1
N composite/examples/barberm4-2
N composite/examples/barberm4-3
N composite/examples/barberm4.al
N composite/examples/barberm5.al
N composite/examples/barberm.al
N composite/examples/barbermp-1.al
N composite/examples/barbermp-2.al
N composite/examples/barbermp-3.al
N composite/examples/barbermp.al
N composite/examples/barberp.al
No conflicts created by this import
Hi there,
how can bignums be communicated to/from Ciao Prolog?
More precisely, since we have
$ ciao
Ciao-Prolog 1.9 #34: Sat Nov 30 19:17:43 CET 2002
?- current_prolog_flag(bounded, X).
X = false ?
yes
?-
integers are unbounded. However, the function
ciao_term ciao_integer(int i)
allows to build only integers that fit in a machine
word. The problem with the design of the function
int ciao_to_integer(ciao_term term)
appears to be more serious, as the C application seems
to have no way of detecting whether the conversion was
successful or not.
It would seem better to define something like
int ciao_to_integer(ciao_term term, long* pl)
so that 0 is returned if the conversion failed (in which
case *pl has not been touched), and a number different from 0
otherwise. Bignums could then be communicated with a pair
of functions ciao_get_number_chars() and ciao_put_number_chars().
What do you think?
Best wishes to you all
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it