Common Lisp Package: CXML-CLEX

README:

FUNCTION

Private

COPY-STATE (SEQUENCE)

Return a copy of SEQUENCE which is EQUAL to SEQUENCE but not EQ.

FSA-BRANCH (&REST AS)

Alternation of a0..an; Hence `a0 | a1 | ... | an'.

FSA-CONCAT (A1 A2)

Concatenation of `a1' and `a2'. Hence `a1 a2'.

FSA-EMPTY

Accepts the empty word.

FSA-END (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

FSA-EPSILON-CLOSURE/SET (X STATE-SET)

Augment the epsilon closure of the state `state' into `state-set'.

FSA-ITERATE (A)

Iteration of `a'. Hence `a*'

FSA-START (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

FSA-TRIVIAL (CHAR)

Accepts the trivial word consisting out of exactly one `char'.

NUMBER-STATES (STARTS)

Number all state reachable form `starts', continuosly from 0. Each state got it's number stuck into the `id' slot. Returns two values: `n' the number of states and `tab' a table to lookup a state given the number it got attached to.

Undocumented

CODE (X)

COPY-FSA (INSTANCE)

DESTRUCTURE-RANGE (X)

FROB2 (RES &AUX RES2)

SETFFSA-END (NEW-VALUE INSTANCE)

FSA-P (OBJECT)

SETFFSA-START (NEW-VALUE INSTANCE)

LOADABLE-STATES-FORM (STARTS)

LOOSE-EQ (X Y)

MAKE-FSA (&KEY ((START DUM274) NIL) ((END DUM275) NIL))

MAKE-STATE (&KEY ((FINAL DUM1) 0) ((TRANSITIONS DUM2) NIL) ((ID DUM3) NIL) ((EPS-TRANSITIONS DUM4) NIL))

MUNGLE-TRANSITIONS (TRS)

NDFSA->DFSA (STARTS)

OVER-ALL-STATES (FUN STARTS)

PARSE-CHAR-SET (STRING I)

PARSE-RANGE (RANGE)

PARTITION-RANGE (A POS)

RANGE- (A B)

RANGES- (AA B)

RANGES-RANGE (AA B)

REGEXP->FSA (TERM)

REGEXP-EXPAND-SPLICING (TERM)

REGEXP/AND->FSA (TERM)

REGEXP/OR->FSA (TERM)

STATE-EPS-TRANSITIONS (STRUCTURE)

SETFSTATE-EPS-TRANSITIONS (NEW-VALUE STRUCTURE)

STATE-FINAL (STRUCTURE)

SETFSTATE-FINAL (NEW-VALUE STRUCTURE)

STATE-ID (STRUCTURE)

SETFSTATE-ID (NEW-VALUE STRUCTURE)

STATE-TRANSITIONS (STRUCTURE)

SETFSTATE-TRANSITIONS (NEW-VALUE STRUCTURE)

MACRO

Public

Undocumented

DEFLEXER (NAME MACRO-DEFS &REST RULE-DEFS)

Private

DO-BITS ((VAR SET &OPTIONAL RESULT) &BODY BODY)

Iterate body with `var' over all elements of `set'.

ELEMENT-OF-SET-P (ELM SET)

Determine whether `elm' is element of the set `set'.

MAKE-EMPTY-SET (N)

Create the empty set on the domain [0,n).

NSET-PUT (BAG NEW)

Destructively calculate bag = bag U {new}.

SET-SIZE (SET)

Return the upper bound of the domain of `set'.

VARIABLE

Private

Undocumented

*FULL-TABLE-P*

CLASS

Private

Undocumented

FSA