perm filename ARGLIS[DEN,LMM] blob
sn#044070 filedate 1973-05-19 generic text, type T, neo UTF8
(DEFPROP ARGLISTSFNS
(ARGLISTSFNS
(DEFLIST (QUOTE
((EXPLAINBVL (BVP LPP STRUC))
(EXPLAINVL (VL))
(EXPLAINKLOOP (K VL))
(BONDING (U))
(EXPLAINATTBIV (BVP STRUC))
(EXPLAINCAT (TVL))
(EXPLAINNOLOOP (VL))
(EDITRACEFN (C))
(EXPLAINNOFV (FV))
(EXPLAINATTACFVS (FVL STRUC))
(EXPLAINRINGSKEL (FV VL))
(EXPLAINSTRUCWAT (CLL STRUC))
(COLLNUMLIST (X))
(FINDSUBLISTS (EXPRESSION))
(EXPLAINRINGS (U CL))
(EXPLAINGENMOL (CL))
(EXPLAIN (FORM))
(PRINCL (CL))
(EXPLAINATIONMOLECULES (CL U))
(RINGSKELETONS (FV VL))
(LOOPPARTITIONS (P VL))
(KLOOPEDRINGS (P VL))
(PERMRADL (CENT LRADS FLAG))
(PERMRADS (CENT CLRADS FLAG))
(GENMOL (CL))
(GENRAD (CL))
(GENRADD (CENTER NEWCL))
(GENRADS (CL N))
(GENRADLIST (CLCL))
(KLOOPEDRINGS (P VL))
(SINGLERINGS (N))
(NOLOOPEDRINGS (VL))
(DAISIES (VL))
(NOFV-RINGS (VL))
(RINGSKELETONS (FV VL))
(RINGS (U CL))
(SUPERATOMS (UCL-COMP))
(MOLECULES (CL U))
(PUTBIVE (S E N))
(PUTBIVS (S L LST))
(PUTBIVN (STRUC NODE NBIVS))
(PUTLOOPS (STRUC LPS LNODES))
(ATTACHBIVS&LOOPS (EL LL STRUC))
(ATTACHBIVALENTS (PART STRUC))
(ATTACHFVS (FVP STRUC))
(INSERTMARKERS (STRUC CLL L))
(VALENCETYPE (S I))
(NODEVALENCE (NODE))
(PUTNEWNODEINCT (X Y))
(PUTNEWNODE (STRUC))
(PUTFVS (S FVP))
(PUTFVN (S N J))
(LISTBYVALENCE (S))
(LASTOFNODES (X))
(FIRSTOFNODES (X))
(FINDCTE (N LST))
(DISCONNECT (X Y))
(CONNECT (X Y))
(BIVCHAIN (N))
(SINGLERING (N))
(DAISY (PART))
(CATALOG3 (TVL))
(STRUCWITH2NODES (N AT1 AT2))
(CATALOG (L))
(COLLECTFV (S))
(NODES (STRUC))
(FREEVALENCESIZE (S))
(PARTFV1 (FVL FVCL CL NFV))
(≠RINGS (U CL))
(PARTFVS (FVPART FVCL CLL))
(CLBYVALENCE' (CL))
(VALENCE' (X))
(FVPARTITIONS' (CLL FVCL))
(RINGS' (FVCL CLL))
(NOFV-RINGS' (CLL))
(ORR X)
(PRINNUMLIS (X))
(STRUCINLIST (LIST))
(STRUCINCL (CL))
(NOFORMIN (X))
(TURNOFF (FN))
(TURNON (FN))
(MAKEMAKEFORM (FN))
(GETVAL (FN VALTYPE))
(MAKELIST (MAKELISTVAR))
(GENEXPANSION (FORM 0. FORM UPFORM))
(ISFORM (AT))
(UNFIXFN (FN))
(FIXFN (FN VALTYPE STRUCCHECK CONDITIONS))
(GENAPPLY (FORM GOLIST))
(SPLIT (L N))
(EXAMPLELABELEDGES (STRUC LABELS))
(EXAMPLELABELFV (STRUC LABELS))
(EXAMPLELLABELNODES (STRUC LLABELS))
(EDGES (STRUC))
(SELECTLL (LOBJ LLNUM))
(SELECTL (OBJ LNUM))
(SELECT (L N))
(EXAMPLE (X))
(FVPARTITIONS (FV VL))
(NUMPARTITIONS* (U MN MAXIMA OCCURLIST))
(NUMPARTITIONS (N NUMPARTS MINPART MAXPART))
(STRUCTURESWITHATOMS (CLL STRUC))
(CLPARTLP1 (CL ROW N))
(LOOPPARTITIONS (P VL))
(LPROWS (LPP VL))
(JLIST (LL N))
(LOOPPARTITIONS1 (P VL J))
(M22 (N))
(TD (VL J))
(TRIMZEROS (L))
(BIVALENTPARTITIONS (VL))
(ROWS (LL))
(COMPUTEFV (U CL))
(MAXUNSATL (PC U))
(SUPERATOMPARTITIONS (CL U))
(MAXLOOPS (VALENCELIST))
(MINLOOPS (VALENCELIST))
(FVPART1 (N MAXSUM MAXOCCUR))
(FVPARTITION1 (N VL S))
(VALENCE (AT))))
(QUOTE ARGLIST)))
VALUE)
(DEFLIST (QUOTE
((EXPLAINBVL (BVP LPP STRUC))
(EXPLAINVL (VL))
(EXPLAINKLOOP (K VL))
(BONDING (U))
(EXPLAINATTBIV (BVP STRUC))
(EXPLAINCAT (TVL))
(EXPLAINNOLOOP (VL))
(EDITRACEFN (C))
(EXPLAINNOFV (FV))
(EXPLAINATTACFVS (FVL STRUC))
(EXPLAINRINGSKEL (FV VL))
(EXPLAINSTRUCWAT (CLL STRUC))
(COLLNUMLIST (X))
(FINDSUBLISTS (EXPRESSION))
(EXPLAINRINGS (U CL))
(EXPLAINGENMOL (CL))
(EXPLAIN (FORM))
(PRINCL (CL))
(EXPLAINATIONMOLECULES (CL U))
(RINGSKELETONS (FV VL))
(LOOPPARTITIONS (P VL))
(KLOOPEDRINGS (P VL))
(PERMRADL (CENT LRADS FLAG))
(PERMRADS (CENT CLRADS FLAG))
(GENMOL (CL))
(GENRAD (CL))
(GENRADD (CENTER NEWCL))
(GENRADS (CL N))
(GENRADLIST (CLCL))
(KLOOPEDRINGS (P VL))
(SINGLERINGS (N))
(NOLOOPEDRINGS (VL))
(DAISIES (VL))
(NOFV-RINGS (VL))
(RINGSKELETONS (FV VL))
(RINGS (U CL))
(SUPERATOMS (UCL-COMP))
(MOLECULES (CL U))
(PUTBIVE (S E N))
(PUTBIVS (S L LST))
(PUTBIVN (STRUC NODE NBIVS))
(PUTLOOPS (STRUC LPS LNODES))
(ATTACHBIVS&LOOPS (EL LL STRUC))
(ATTACHBIVALENTS (PART STRUC))
(ATTACHFVS (FVP STRUC))
(INSERTMARKERS (STRUC CLL L))
(VALENCETYPE (S I))
(NODEVALENCE (NODE))
(PUTNEWNODEINCT (X Y))
(PUTNEWNODE (STRUC))
(PUTFVS (S FVP))
(PUTFVN (S N J))
(LISTBYVALENCE (S))
(LASTOFNODES (X))
(FIRSTOFNODES (X))
(FINDCTE (N LST))
(DISCONNECT (X Y))
(CONNECT (X Y))
(BIVCHAIN (N))
(SINGLERING (N))
(DAISY (PART))
(CATALOG3 (TVL))
(STRUCWITH2NODES (N AT1 AT2))
(CATALOG (L))
(COLLECTFV (S))
(NODES (STRUC))
(FREEVALENCESIZE (S))
(PARTFV1 (FVL FVCL CL NFV))
(≠RINGS (U CL))
(PARTFVS (FVPART FVCL CLL))
(CLBYVALENCE' (CL))
(VALENCE' (X))
(FVPARTITIONS' (CLL FVCL))
(RINGS' (FVCL CLL))
(NOFV-RINGS' (CLL))
(ORR X)
(PRINNUMLIS (X))
(STRUCINLIST (LIST))
(STRUCINCL (CL))
(NOFORMIN (X))
(TURNOFF (FN))
(TURNON (FN))
(MAKEMAKEFORM (FN))
(GETVAL (FN VALTYPE))
(MAKELIST (MAKELISTVAR))
(GENEXPANSION (FORM 0. FORM UPFORM))
(ISFORM (AT))
(UNFIXFN (FN))
(FIXFN (FN VALTYPE STRUCCHECK CONDITIONS))
(GENAPPLY (FORM GOLIST))
(SPLIT (L N))
(EXAMPLELABELEDGES (STRUC LABELS))
(EXAMPLELABELFV (STRUC LABELS))
(EXAMPLELLABELNODES (STRUC LLABELS))
(EDGES (STRUC))
(SELECTLL (LOBJ LLNUM))
(SELECTL (OBJ LNUM))
(SELECT (L N))
(EXAMPLE (X))
(FVPARTITIONS (FV VL))
(NUMPARTITIONS* (U MN MAXIMA OCCURLIST))
(NUMPARTITIONS (N NUMPARTS MINPART MAXPART))
(STRUCTURESWITHATOMS (CLL STRUC))
(CLPARTLP1 (CL ROW N))
(LOOPPARTITIONS (P VL))
(LPROWS (LPP VL))
(JLIST (LL N))
(LOOPPARTITIONS1 (P VL J))
(M22 (N))
(TD (VL J))
(TRIMZEROS (L))
(BIVALENTPARTITIONS (VL))
(ROWS (LL))
(COMPUTEFV (U CL))
(MAXUNSATL (PC U))
(SUPERATOMPARTITIONS (CL U))
(MAXLOOPS (VALENCELIST))
(MINLOOPS (VALENCELIST))
(FVPART1 (N MAXSUM MAXOCCUR))
(FVPARTITION1 (N VL S))
(VALENCE (AT))))
(QUOTE ARGLIST))