(self, outstream, daggify=True)
Serializes the SmtLibScript expanding commands
Serializes the SmtLibScript expanding commands
Serializes the SmtLibScript expanding commands
def serialize(self, outstream, daggify=True):
        """Serializes the SmtLibScript expanding commands"""
        if daggify:
            printer = SmtDagPrinter(outstream)
        else:
            printer = SmtPrinter(outstream)

        for cmd in self.commands:
            cmd.serialize(printer=printer)
            outstream.write("\n")
def serialize ( self , outstream , daggify = True ) : if daggify : printer = SmtDagPrinter ( outstream ) else : printer = SmtPrinter ( outstream ) for cmd in self . commands : cmd . serialize ( printer = printer ) outstream . write ( "\n" )