~a-j-delaney/libamore/cunit-dev

« back to all changes in this revision

Viewing changes to src/libAMoRE/sfexp.h

Committer: buraq
Date: 2004-04-16 17:04:28 UTC
Revision ID: vcs-imports@canonical.com-20040416170428-ko6l3kyx1c5jyrll

initial

files added:
src

src/libAMoRE

src/libAMoRE/Makefile

src/libAMoRE/atime.c

src/libAMoRE/atime.h

src/libAMoRE/binary.c

src/libAMoRE/binary.h

src/libAMoRE/buffer.c

src/libAMoRE/buffer.h

src/libAMoRE/cons.h

src/libAMoRE/debugPrint.c

src/libAMoRE/debugPrint.h

src/libAMoRE/dfa.c

src/libAMoRE/dfa.h

src/libAMoRE/dfa2mon.c

src/libAMoRE/dfa2mon.h

src/libAMoRE/dfa2nfa.c

src/libAMoRE/dfa2nfa.h

src/libAMoRE/dfamdfa.c

src/libAMoRE/dfamdfa.h

src/libAMoRE/enfa2nfa.c

src/libAMoRE/enfa2nfa.h

src/libAMoRE/ext.h

src/libAMoRE/fileIO.c

src/libAMoRE/fileIO.h

src/libAMoRE/genrex2nfa.c

src/libAMoRE/genrex2nfa.h

src/libAMoRE/global.c

src/libAMoRE/global.h

src/libAMoRE/language.c

src/libAMoRE/language.h

src/libAMoRE/liberror.c

src/libAMoRE/liberror.h

src/libAMoRE/libtest.c

src/libAMoRE/libtest.h

src/libAMoRE/mon.c

src/libAMoRE/mon.h

src/libAMoRE/mon2dcl.c

src/libAMoRE/mon2dcl.h

src/libAMoRE/mon2rel.c

src/libAMoRE/mon2rel.h

src/libAMoRE/mon2sfx.c

src/libAMoRE/mon2sfx.h

src/libAMoRE/nfa.c

src/libAMoRE/nfa.h

src/libAMoRE/nfa2dfa.c

src/libAMoRE/nfa2dfa.h

src/libAMoRE/nfa2mnfa.c

src/libAMoRE/nfa2mnfa.h

src/libAMoRE/nfa2mnfa_help.c

src/libAMoRE/nfa2mnfa_help.h

src/libAMoRE/nfa2mnfa_sol.c

src/libAMoRE/nfa2mnfa_sol.h

src/libAMoRE/nfa2mnfa_types.h

src/libAMoRE/nfa2rex.c

src/libAMoRE/nfa2rex.h

src/libAMoRE/parse.c

src/libAMoRE/parse.h

src/libAMoRE/parser_types.h

src/libAMoRE/regexp-infix.c

src/libAMoRE/regexp-infix.h

src/libAMoRE/regexp.c

src/libAMoRE/regexp.h

src/libAMoRE/rex2nfa.c

src/libAMoRE/rex2nfa.h

src/libAMoRE/rexFromString.c

src/libAMoRE/rexFromString.h

src/libAMoRE/sfexp.c

src/libAMoRE/sfexp.h

src/libAMoRE/testBinary.c

src/libAMoRE/testBinary.h

src/libAMoRE/testUnary.c

src/libAMoRE/testUnary.h

src/libAMoRE/typedefs.h

src/libAMoRE/unaryB.c

src/libAMoRE/unaryB.h

src/libAMoRE/unix.h

src/libAMoRE/vars.h

Show diffs side-by-side

added added

removed removed

src/libAMoRE/sfexp.h

/*!\file sfexp.h

* \brief declarations for starfree expressions

* Copyright (c) ? - 2000 Lehrstuhl fuer Informatik VII, RWTH Aachen

* This file is part of the libAMoRE library.

* libAMoRE is free software; you can redistribute it and/or

* modify it under the terms of the GNU Lesser General Public

* License as published by the Free Software Foundation; either

* version 2.1 of the License, or (at your option) any later version.

* You should have received a copy of the GNU Lesser General Public

* License along with the GNU C Library; if not, write to the Free

* Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA

* 02111-1307 USA

#ifndef _SFEXP_H

#define _SFEXP_H

#include "global.h" /* basic types */

/** a starfree regular expression.

* @ingroup LDO_DECL

struct sexp {

/** indexed 0 to mno-1 */

array ulength;

/** indexed 0 to mno-1 */

array vlength;

/** indexed 0 to mno-1 */

array w0length;

/** indexed 0 to mno-1 */

array w1length;

/** length of u[x] : 2*ulength[x] element,generator */

arrayofarray u;

/** length of v[x] : 2*vlength[x] generator,element */

arrayofarray v;

/** length of w0[x] : 3*w0length[x] generator,element,generator */

arrayofarray w0;

/** length of w1[x] : 1*w1length[x] */

arrayofarray w1;

/** 0 to mno-1 */

b_array computed;

} ;

/** pointer to a starfree regular expression

* @ingroup LDO_DECL

typedef struct sexp *starfexp;

/** allocates a new starfexp

starfexp newsfexp() ;

/** frees the memory used by the starfree regular expression sf.

* flag == TRUE iff memory for the array's has been allocated

* mno is the number of monoid elements

void freesf(starfexp sf, boole flag, posint mno) ;

#endif

Older »