diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-23 12:32:46 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-23 12:32:46 +0200 |
| commit | 66a8613560b3e13b4dde49a93b3fdeab4224d3cf (patch) | |
| tree | c7e9fd2af871a029bba6e0debf798e9f42a9a5ff /src/test/scala/rsacomb/CanonicalModelSpec.scala | |
| parent | 87471bc45d1824cbef40dc1cfcc4e5e26e83dcea (diff) | |
| download | RSAComb-66a8613560b3e13b4dde49a93b3fdeab4224d3cf.tar.gz RSAComb-66a8613560b3e13b4dde49a93b3fdeab4224d3cf.zip | |
Fix bug in computation of 'cycle' function
The ordering among triples that 'cycle' use to introduce new individuals
is considering only triples involving safe roles. This was not the case
for us and triples with unsafe roles where considered towards the
generation of logic rules.
Diffstat (limited to 'src/test/scala/rsacomb/CanonicalModelSpec.scala')
0 files changed, 0 insertions, 0 deletions