[GiNaC-list] array expressions with symbolic index

[Zhongxing Xu]

Hello,
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
conditional expressions.

For example:
x = mem[2] + 2;
y = mem[i] -3;
x >= 3;
Can GiNaC represent these expressions?
Note that array index might be a symbolic value.

Thank you.

- Zhongxing Xu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cebix.net/pipermail/ginac-list/attachments/20070131/5b2cce19/attachment.html