(self, tokens)
Builds an SmtLibCommand instance out of a parsed term.
Builds an SmtLibCommand instance out of a parsed term.
Builds an SmtLibCommand instance out of a parsed term .
def get_command(self, tokens):
        """Builds an SmtLibCommand instance out of a parsed term."""
        while True:
            try:
                self.consume_opening(tokens, "<main>")
            except StopIteration:
                # No openings
                return
            current = tokens.consume()
            if current in self.commands:
                fun = self.commands[current]
                yield fun(current, tokens)
            else:
                raise UnknownSmtLibCommandError(current)
def get_command ( self , tokens ) : while True : try : self . consume_opening ( tokens , "<main>" ) except StopIteration : # No openings return current = tokens . consume ( ) if current in self . commands : fun = self . commands [ current ] yield fun ( current , tokens ) else : raise UnknownSmtLibCommandError ( current )