31 Jan
2007
31 Jan
'07
2:32 p.m.
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