Python SymbolSet.from_pickle Examples

Example #1

 def load(symbols, id, children, depth, parent, encoding):
     node = Node(SymbolSet.from_pickle(symbols),
                 depth,
                 parent,
                 id=id,
                 encoding=SymbolSet.from_pickle(encoding))
     node._children = children
     for child in node.children:
         node._transitions.append(
             clingo.Function('transition', [node.id, child]))
     return node

Example #2

File: grammar.py Project: idrave/asp-features

 def load(info):
     info['symbols'] = SymbolSet.from_pickle(info['symbols'])
     return Role(**info)

Example #3

File: grammar.py Project: idrave/asp-features

 def load(info):
     info['symbols'] = SymbolSet.from_pickle(info['symbols'])
     return ConceptObj(**info)

Example #4

 def load(id, symbols):
     return FeatureObj(id, SymbolSet.from_pickle(symbols))