[GiNaC-list] array expressions with symbolic index
xuzhongxing at gmail.com
Wed Jan 31 14:32:00 CET 2007
Is there something like array expression in GiNaC? I want to do symbolic
computation involving array expressions related to program verification.
I would like to implement a theorem prover on top of GiNaC. So I also need
x = mem + 2;
y = mem[i] -3;
x >= 3;
Can GiNaC represent these expressions?
Note that array index might be a symbolic value.
- Zhongxing Xu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the GiNaC-list