(self, current, tokens)
return SmtLibCommand(current, elements)
(set-option <option>)
(set-option <option>)
( set - option <option > )
def _cmd_set_option(self, current, tokens):
        """(set-option <option>)"""
        elements = self.parse_atoms(tokens, current, 2)
        return SmtLibCommand(current, elements)
def _cmd_set_option ( self , current , tokens ) : elements = self . parse_atoms ( tokens , current , 2 ) return SmtLibCommand ( current , elements )