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))