MATEOP : mating-search command

Top Levels

• leave

Printing

• etd
• etp
• p
• pdeep
• pp
• ppdeep
• ppf
• ppnode
• psh
• ptree
• ptree*
• ptree-file
• show-option-tree

Recording

• o
• rem

Expansion Trees

• dp
• dp*
• dp=
• dptree
• dup-all
• dup-outer
• dup-var
• exp
• mod-status
• name-prim
• prim-all
• prim-outer
• prim-single
• prim-sub
• sel
• sub
• sub-etree
• terms

Mating search

• go
• noop
• unify

MS88 search procedure

• add-conn
• add-conn*
• apply-substs
• complete-p
• init-mating
• minimal-p
• ms88
• ms88-sub
• rem-conn
• rem-conn*
• rem-last-conn
• show-mating
• show-substs

MS89 search procedure

• ms89

MS90-3 search procedure

• expand-etree
• ms90-3
• prop-msearch

MS90-9 search procedure

• ms90-9

MS91-6 and MS91-7 search procedures

• ms91-6
• ms91-7

MS92-9 search procedure

• ms92-9

MS93-1 search procedure

• ms93-1

MS98-1 search procedure

• ms98-1
• ms98-dup
• ms98-prim

Proof Translation

• merge-tree

Vpforms

• cjform
• cw
• cwd
• cws
• num-hpaths
• num-vpaths
• vp
• vpd
• vpetree
• vpt

Moving Commands

• 0
• d
• fb
• fi
• goto
• l
• r
• up
• ^

Statistics

• del-dup-conns
• stats

Miscellaneous

• expunge
• expunge-old

TPS documentation homepage

TPS homepage