[service-technology.org] r7567 - in /trunk/lola2/src: Formula/AtomicStatePredicate.cc Formula/ConjunctionStatePredicate.cc Formula/DisjunctionStatePredicate.cc Parser/formula_rewrite.k Parser/formula_unparse.k

Wed, 16 May 2012 05:14:37 -0700 

Author: niels
Date: Wed May 16 14:14:30 2012
New Revision: 7567

URL: http://svn.gna.org/viewcvs/service-tech?rev=7567&view=rev
Log:
* fixed bugs concerning double ids and stupidity
* currently, no lists are used, but only binary operators (todo!)


Modified:
    trunk/lola2/src/Formula/AtomicStatePredicate.cc
    trunk/lola2/src/Formula/ConjunctionStatePredicate.cc
    trunk/lola2/src/Formula/DisjunctionStatePredicate.cc
    trunk/lola2/src/Parser/formula_rewrite.k
    trunk/lola2/src/Parser/formula_unparse.k


-- 
You received this e-mail, because you subscribed the mailing list 
"service-tech-commits" which will forward you any e-mail addressed to 
[email protected]. If you want to unsubscribe or make any changes to 
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.

Reply via email to