def _is_sentinel(self, lit, cls):
        return cls in self.sentinels[lit]
Create the various panels to be used by this application.
dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._is_sentinel--crossover with--dataset/ETHPy150Open pyjs/pyjs/examples/showcase/src/uiHelpers.py/PanelApp.createPanels