@Override public IResponse set_option(IKeyword option, IAttributeValue value) { if (option.value().equals(":produce-assignments")) return smtConfig.responseFactory.unsupported(); if (option.value().equals(":produce-models")) return smtConfig.responseFactory.unsupported(); if (option.value().equals(":produce-proofs")) return smtConfig.responseFactory.unsupported(); if (option.value().equals(":produce-unsat-cores")) return smtConfig.responseFactory.unsupported(); return super.set_option(option, value); }
@Override public IResponse get_option(IKeyword key) { String option = key.value(); IAttributeValue value = options.get(option); if (value == null) return smtConfig.responseFactory.unsupported(); return value; }