home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!ames!network.ucsd.edu!sdcc12!cs!amonge
- From: amonge@cs.ucsd.edu (Alvaro Monge)
- Newsgroups: comp.lang.c++
- Subject: Manipulating logical expressions...
- Message-ID: <35937@sdcc12.ucsd.edu>
- Date: 21 Jul 92 23:03:01 GMT
- Sender: news@sdcc12.ucsd.edu
- Distribution: usa
- Organization: CSE Dept., U.C. San Diego
- Lines: 17
- Nntp-Posting-Host: beowulf.ucsd.edu
-
-
- This question is related to my article asking for a name generator:
-
- I am in need of a C++ class definition and code which manipulates
- logical expressions involving variabled and literal constants.
-
- An important operation of such a program is:
- Standardizing apart of names:
- i.e.
- Given 2 expressions. Want them to each have different
- variable names. That is do the necessary alfa conversions
- on the expression(s) to make sure that they do not share
- any variable names.
-
- Thanks,
- Al Monge
- amonge@cs.ucsd.edu
-