@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()); }