本文整理汇总了Python中term.Term.from_list方法的典型用法代码示例。如果您正苦于以下问题:Python Term.from_list方法的具体用法?Python Term.from_list怎么用?Python Term.from_list使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类term.Term
的用法示例。
在下文中一共展示了Term.from_list方法的6个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: visible_children
# 需要导入模块: from term import Term [as 别名]
# 或者: from term.Term import from_list [as 别名]
def visible_children(asker, object):
expanded = convert.check_hard(asker, is_expanded(), object)
object = asker.refresh(object)
if not expanded:
return asker.reply(answer=T.from_list([]))
else:
children = asker.ask(fields.get_field(all_children(), object)).firm_answer
return asker.reply(answer=children)
示例2: add_children_on_expanded
# 需要导入模块: from term import Term [as 别名]
# 或者: from term.Term import from_list [as 别名]
def add_children_on_expanded(asker, old, new, bindings):
children = []
for p in lists.iterator(asker, lists.from_dict(bindings)):
k = asker.ask(fields.get_field(first(), p)).firm_answer
v = asker.ask(fields.get_field(second(), p)).firm_answer
prefix = strings.string_concat(k, T.from_str(": "))
new_node = node_from_term(asker, v)
new_node = updates.update(
updates.apply_to(headline(), strings.prepend_str(prefix)),
new_node
)
children.append(new_node)
return asker.reply(answer=updates.update(
fields.set_field(all_children(), T.from_list(children)),
new
))
示例3: T
# 需要导入模块: from term import Term [as 别名]
# 或者: from term.Term import from_list [as 别名]
import convert
import representations
import properties
import updates
import outlines
import builtins
import computations
import term
import termtypes
import state
import views
import functions
import strings
from term import Term as T
k = updates.update(updates.trivial(), T.from_int(0))
d = T('test [a]', a=k)
Q = T('a question about [this]', this=k)
asker = ask.Asker(Q)
a = T('a')
b = T('b')
c = T('c')
l1 = T.from_list([a, b, c])
l2 = T.from_list([a, a, a])
l12 = lists.zip(l1, l2)
d = dictionaries.from_items(l12)
示例4: render_char
# 需要导入模块: from term import Term [as 别名]
# 或者: from term.Term import from_list [as 别名]
def render_char(asker, x):
return asker.reply(answer=T.simple_str(T.from_list([c])))
示例5: get_starting_view
# 需要导入模块: from term import Term [as 别名]
# 或者: from term.Term import from_list [as 别名]
def get_starting_view(asker, query):
head = fields.get(asker, representations.head(), query)
bindings = fields.get(asker, representations.bindings(), query)
initial_lines = T.from_list([head, T.from_str("---")])
return asker.reply(answer=view(initial_lines, bindings))
示例6: make_list_expr
# 需要导入模块: from term import Term [as 别名]
# 或者: from term.Term import from_list [as 别名]
def make_list_expr(l):
return T(make_list_expr.head, l=T.from_list(l))