This is the mail archive of the
mailing list for the GCC project.
Re: algorithm to parse a propositional logic formula
- From: Joe Buck <Joe dot Buck at synopsys dot COM>
- To: Riccardo <rickycos at libero dot it>
- Cc: gcc at gcc dot gnu dot org
- Date: Mon, 12 Jun 2006 09:26:01 -0700
- Subject: Re: algorithm to parse a propositional logic formula
- References: <001401c68e22$f559c090$62142e97@riccardo1d92e7>
On Mon, Jun 12, 2006 at 03:20:20PM +0200, Riccardo wrote:
> Does anyboby know where I ccan find an algorithm to parse a propositional
> logic formula and obtain the associated binary tree? thanks
Please don't ask questions like that on this list.