original_docstring: return/create symbol for terminal SDD
docstring: return/create symbol for terminal SDD
docstring_tokens: return / create symbol for terminal SDD
code: def _psdd_node_label(root,subcircuit=None,labels=_dot_names):
      """return/create symbol for terminal SDD"""
      if root.is_true():
          var = root.vtree.var
          label = _literal_label(var,labels=labels)
          if subcircuit:
              sc_node = subcircuit.node_of_vtree(root.vtree)
          if subcircuit and root == sc_node.node:
              theta = "%.2f" % (root.theta[sc_node.element]/root.theta_sum)
              label = label if sc_node.element else "&not;" + label
          else:
              if hasattr(root,'theta'):
                  theta = "%.2f" % (root.theta[1]/root.theta_sum)
              else:
                  theta = "."
          return "%s:%s" % (label,theta)
      else: return _node_label(root,labels=labels)
code_tokens: def _psdd_node_label ( root , subcircuit = None , labels = _dot_names ) : if root . is_true ( ) : var = root . vtree . var label = _literal_label ( var , labels = labels ) if subcircuit : sc_node = subcircuit . node_of_vtree ( root . vtree ) if subcircuit and root == sc_node . node : theta = "%.2f" % ( root . theta [ sc_node . element ] / root . theta_sum ) label = label if sc_node . element else "&not;" + label else : if hasattr ( root , 'theta' ) : theta = "%.2f" % ( root . theta [ 1 ] / root . theta_sum ) else : theta = "." return "%s:%s" % ( label , theta ) else : return _node_label ( root , labels = labels )
short_docstring: return/create symbol for terminal SDD
short_docstring_tokens: return / create symbol for terminal SDD
comment: """return/create symbol for terminal SDD"""