(self, current, tokens)
(set-logic <symbol>)
(set-logic <symbol>)
( set - logic <symbol > )
def _cmd_set_logic(self, current, tokens):
        """(set-logic <symbol>)"""
        elements = self.parse_atoms(tokens, current, 1)
        name = elements[0]
        try:
            self.logic = get_logic_by_name(name)
            return SmtLibCommand(current, [self.logic])
        except UndefinedLogicError:
            warn("Unknown logic '" + name +
                 "'. Ignoring set-logic command.")
            return SmtLibCommand(current, [None])
def _cmd_set_logic ( self , current , tokens ) : elements = self . parse_atoms ( tokens , current , 1 ) name = elements [ 0 ] try : self . logic = get_logic_by_name ( name ) return SmtLibCommand ( current , [ self . logic ] ) except UndefinedLogicError : warn ( "Unknown logic '" + name + "'. Ignoring set-logic command." ) return SmtLibCommand ( current , [ None ] )