Bug in sites-across-bonds-domain #393
Assignees
Labels
Comments
feret
added a commit
that referenced
this issue
Apr 27, 2017
…of accuracy in the case of asymetric binding, a collaboration between site-across-bonds domain and parallel bond domain is required
feret
added a commit
that referenced
this issue
Apr 27, 2017
…of accuracy in the case of asymetric binding, a collaboration between site-across-bonds domain and parallel bond domain is required
feret
added a commit
that referenced
this issue
Apr 27, 2017
…of accuracy in the case of asymetric binding, a collaboration between site-across-bonds domain and parallel bond domain is required
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
%agent: A(x)
%agent: B(l,r)
%agent: C()
%init: 100 A(x!1),B(l!1,r)
A(x!1),B(l!1) -> A(x!1),B(l!2),B(l!1,r!2) @1
B(l!_,r!2),B(l!2,r!1),B(l!1,r) -> B(l!r.B,r!2),B(l!2,r!1),B(l!1,r),C() @1
The second rule is detected as unreachable.
The reason is that the pattern: B(l!_,r!1),B(l!1,r) is not discovered at the second application of the first rule.
The text was updated successfully, but these errors were encountered: