@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;
}
@Override
public String visit(IKeyword e) throws IVisitor.VisitorException {
throw new VisitorException(
"Did not expect a Keyword in an expression to be translated", e.pos());
}
