Closed GoogleCodeExporter closed 9 years ago
Original comment by erwin...@gmail.com
on 8 Oct 2012 at 2:47
Done by explicitly checking whether actors are used in a PN-derived domain or
not.
Original comment by erwin...@gmail.com
on 14 Oct 2012 at 2:00
Original issue reported on code.google.com by
erwin...@gmail.com
on 8 Oct 2012 at 2:45