reportClash(Clash.invalidLiteral(this, getDepends(_name), getTerm())); return; reportClash(Clash.emptyDatatype(this, getDepends(ATermUtils.BOTTOM_LIT))); if (_abox.doExplanation()) System.out.println("1) Literal clash dependency = " + _abox.getClash()); reportClash(Clash.valueDatatype(this, ds, (ATermAppl) _atermValue.getArgument(0), dt[0])); reportClash(Clash.emptyDatatype(this, ds, dt));
reportClash(Clash.invalidLiteral(this, getDepends(_name), getTerm())); return; reportClash(Clash.emptyDatatype(this, getDepends(ATermUtils.BOTTOM_LIT))); if (_abox.doExplanation()) System.out.println("1) Literal clash dependency = " + _abox.getClash()); reportClash(Clash.valueDatatype(this, ds, (ATermAppl) _atermValue.getArgument(0), dt[0])); reportClash(Clash.emptyDatatype(this, ds, dt));