stack.py 文件源码

def __init__(self, lattice: Type, arguments: Dict[str, Any]):
        """Create a stack of elements of a lattice.

        :param lattice: type of the lattice
        """
        super().__init__()
        self._stack = [lattice(**arguments)]