search

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

Nothing #114

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Please elaborate on the issue here.
'specifically depends on at some time' only Nothing

Original issue reported on code.google.com by steschu@gmail.com on 18 Jul 2012 at 3:36

GoogleCodeExporter commented 9 years ago 
More generally:

Instead of 

r only Nothing

take the equivalent expression

not (r some Thing)

Original comment by steschu@gmail.com on 20 Jul 2012 at 8:00

GoogleCodeExporter commented 9 years ago 
Janna suggested (and I like this) saying it is disjoint to (s-depends-on some 
Thing)

Original comment by alanruttenberg@gmail.com on 24 Jul 2012 at 8:12