This commit is contained in:
ramona.enache
2010-04-25 00:47:15 +00:00
parent 9b98d272fd
commit 98555ed6b3
15 changed files with 200 additions and 149 deletions

View File

@@ -16,11 +16,13 @@ concrete RelativeRon of Relative =
True => {s = \\ag =>
(mkClause
(rp.s ! {g = ag.g ; n = ag.n} ! No)
False
{g = rp.a.g ; n = rp.a.n ; p = P3}
vp).s ! DDir ; c = No} ;
False => {s = \\ag =>
(mkClause
(rp.s ! {g = ag.g ; n = ag.n} ! No)
False
ag
vp).s ! DDir ; c = No
}