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
def load(info): info['symbols'] = SymbolSet.from_pickle(info['symbols']) return Role(**info)
def load(info): info['symbols'] = SymbolSet.from_pickle(info['symbols']) return ConceptObj(**info)
def load(id, symbols): return FeatureObj(id, SymbolSet.from_pickle(symbols))