@Override public Literal addLiteral(final ATermAppl dataValue, final DependencySet ds) { if (dataValue == null || !ATermUtils.isLiteral(dataValue)) throw new InternalReasonerException("Invalid value to create a literal. Value: " + dataValue); return createLiteral(dataValue, ds); }
@Override public Literal addLiteral(final DependencySet ds) { return createLiteral(ATermUtils.makeLiteral(createUniqueName(false)), ds); }
@Override public Literal addLiteral(final ATermAppl dataValue, final DependencySet ds) { if (dataValue == null || !ATermUtils.isLiteral(dataValue)) throw new InternalReasonerException("Invalid value to create a literal. Value: " + dataValue); return createLiteral(dataValue, ds); }
@Override public Literal addLiteral(final DependencySet ds) { return createLiteral(ATermUtils.makeLiteral(createUniqueName(false)), ds); }