application of adaptRules

This commit is contained in:
Florian Steurer 2015-11-23 00:15:12 +01:00
parent 4576efe3ec
commit 7ff9554d78

View File

@ -148,7 +148,16 @@ public class Unify {
continue;
}
// TODO adapt Rules
// Adapt, AdaptExt, AdaptSup
opt = rules.adapt(pair);
opt = opt.isPresent() ? opt : rules.adaptExt(pair);
opt = opt.isPresent() ? opt : rules.adaptSup(pair);
// One of the rules has been applied
if(opt.isPresent()) {
swapAddOrErase(opt.get(), rules, eqQueue);
continue;
}
// None of the rules has been applied
targetSet.add(pair);