def __init__(self, constraints, programs, symbolic_random=None):
        """
        Builds a symbolic extension of a Decree OS
        :param constraints: a constraint set
        :param cpus: CPU for this platform
        :param mem: memory for this platform
        """
        self.random = 0
        self._constraints = constraints
        super().__init__(programs)
def __init__ ( self , constraints , programs , symbolic_random = None ) : self . random = 0 self . _constraints = constraints super ( ) . __init__ ( programs )
Builds a symbolic extension of a Decree OS
        :param constraints: a constraint set
        :param cpus: CPU for this platform
        :param mem: memory for this platform