Term) List
Term
Term) List
A:ioa{i:l}(), de:sig(), x:Label, t:SimpleType, k:Label.
single_valued_decls(A.ds)
tc_ioa(A;de)
(i:
. i < ||v|| 2of(v[i]) 
smts_eff(action_effect(k;A.eff;A.frame);1of(v[i])))
mk_dec(x, t) A.ds t term_types(A.ds;dec_lookup(A.da;k);de;apply_alist(v;x;x))
i:. i < ||[u / v]|| 2of([u / v][i]) smts_eff(action_effect(k;A.eff;A.frame);1of([u / v][i]))
A.ds
apply_alist([u / v];x;x) ~ if 1of(u) =
x
2of(u) else apply_alist(v;x;x) fi
as:(LabelT) List, p:(LabelT), l:Label, d:T. apply_alist([p / as];l;d) ~ if 1of(p) = l 2of(p) else apply_alist(as;l;d) fi
None
About:
| | | | | | | |