mb
structures
Sections
GenAutomata
Doc
Def
l1 =
l2 == Case(l1) Case ptn_atom(x) = > Case(l2) Case ptn_atom(y) = > x=
y
Atom Default = > false
Case ptn_int(x) = > Case(l2) Case ptn_int(y) = > x=
y Default = > false
Case ptn_var(x) = > Case(l2) Case ptn_var(y) = > x=
y
Atom Default = > false
Case ptn_pr( < x, y > ) = > Case(l2) Case ptn_pr( < u, v > ) = > x =
u
y =
v Default = > false
Default = > false
(recursive)
is mentioned by
Def
< tr > _tg == filter(
e.tag(E)(e) =
tg;tr)
[tag_sublist]
Def
=(M)(m_1,m_2) == ((content(M)(m_1)) =(cEQ(M)) (content(M)(m_2)))
sender(M)(m_1) =
sender(M)(m_2)
(uid(M)(m_1)=
uid(M)(m_2))
[msg_eq]
In prior sections:
mb
basic
mb
label
Try larger context:
GenAutomata
mb
structures
Sections
GenAutomata
Doc