class_docstr: Class for representing a SAT solver capable of
   finding a model to a boolean theory in conjunctive
   normal form.
class_docstr_tok: ["Class","for","representing","a","SAT","solver","capable","of","finding","a","model","to","a","boolean","theory","in","conjunctive","normal","form","."]
docstr: Look for pure literals and assign them when found.
docstr_tok: ["Look","for","pure","literals","and","assign","them","when","found","."]
code: def _pure_literal(self):
      """Look for pure literals and assign them when found."""
      return False
  
imports: from collections import defaultdict
  from heapq import heappush, heappop
  from sympy.core.sorting import ordered
  from sympy.assumptions.cnf import EncodedCNF
  from sympy.logic.algorithms.lra_theory import LRASolver
label_desc: Use image node_id 12 for calling the SATSolver obj's underlying member method code with example usage: obj._pure_literal() and returns: False