d(・ω・d) 微分！(∫・ω・)∫ 積分！∂(・ω・∂) 偏微分！(∮・ω・)∮ 沿閉曲線的積分！(∬・ω・)∬ 重積分！∇(・ω・∇)梯度！∇・(・ω・∇・)散度！∇×(・ω・∇×)旋度！Δ(・ω・Δ)拉普拉斯！#ﾟÅﾟ）⊂彡☆))ﾟДﾟ)･∵ლ(◉◞౪◟◉ )ლ千言萬語，不如一個「表情符號(emoji)」簡單生動又有趣!ಠ▃ಠ生氣、-`д´-憤怒、(¬_¬)無言、(•͈⌔•͈⑅)傷心、哭、開心、大笑、可愛、困惑、發呆、大眼睛、驚呀、跳舞、興奮、奔跑..≧Д≦ （;≧皿≦） (⁎˃ᆺ˂) ╬ Ò ‸ Ó) <(｀^´)> ( >д<)
(ꐦ ಠ皿ಠ ) (｀Д´) (;｀O´)o o(-`д´- ｡) ( ˃⌂˂ ) (°ㅂ° ╬)
(ʘ言ʘ╬) (Ò 皿 Ó ╬) (-`д´-) 눈_눈 (⋋▂⋌) (¬▂¬)
ಠ▃ಠ (＞x＜) ╰（‵□′）╯
D.R.S Dz
Sindbad~EG File Manager
# Copyright 2015-2016, Tresys Technology, LLC
# Copyright 2018, Chris PeBenito <pebenito@ieee.org>
#
# SPDX-License-Identifier: LGPL-2.1-only
#
from collections import defaultdict
from ..policyrep import Conditional
from .difference import Wrapper
from .typing import Cache
_cond_cache: Cache[Conditional, "ConditionalWrapper"] = defaultdict(dict)
def conditional_wrapper_factory(cond: Conditional) -> "ConditionalWrapper":
"""
Wrap type attributes from the specified policy.
This caches results to prevent duplicate wrapper
objects in memory.
"""
try:
return _cond_cache[cond.policy][cond]
except KeyError:
a = ConditionalWrapper(cond)
_cond_cache[cond.policy][cond] = a
return a
class ConditionalWrapper(Wrapper[Conditional]):
"""Wrap conditional policy expressions to allow comparisons by truth table."""
__slots__ = ("truth_table")
def __init__(self, cond: Conditional) -> None:
self.origin = cond
self.truth_table = cond.truth_table()
def __hash__(self):
return hash(self.origin)
def __eq__(self, other):
return self.truth_table == other.truth_table
def __lt__(self, other):
return str(self.origin) < str(other)
Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists