Quelle presentation.h Sprache: C

/****************************************************************************
**
**    presentation.h           Presentation                    Werner Nickel
**                                         nickel@mathematik.tu-darmstadt.de
*/

#ifndef PRESENTATION_H
#define PRESENTATION_H

#include <stdio.h>
#include <ctype.h>
#include <string.h>
#include "mem.h"
#include "genexp.h"
#include "pc.h" /* for Class */

/*
**    The following are used as first argument to the function
**    SetEvalFunction().
*/
typedef enum {
TNUM,
TGEN,

TMULT,
TPOW,
TCONJ,
TCOMM,
TREL,
TDRELL,
TDRELR,
TENGEL,
TLAST
} EvalType;

typedef word (*EvalFunc)(word a, void *b);

/*
**    The following data structure will represent a node in an expression
**    tree. The component type can indicate 3 basic objects : numbers,
**    generators and binary operators. There are currently 5 binary
**    operations.  There is now place to also hold a ternary operation: Engel
**    commutators.
*/
struct _node {
EvalType type;
union {
  int     n;                 /* stores numbers      */
  gen     g;                 /* stores generators   */
  struct {
   struct _node *l, *r;   /* stores bin ops      */
   struct _node *e;       /* and Engel relations */
  } op;
} cont;
};

typedef struct _node node;

extern void     PrintGen(gen g);
extern void     PrintPresentation(FILE *fp);
extern void     Presentation(FILE *fp, const char *filename);
extern node     *ReadWord(void);

extern const char *GenName(gen g);
extern int      NumberOfAbstractGens(void);
extern int      NumberOfIdenticalGens(void);
extern int      NumberOfGens(void);
extern int      NumberOfRels(void);
extern node     *FirstRelation(void);
extern node     *NextRelation(void);
extern node     *CurrentRelation(void);
extern node     *NthRelation(int n);

extern void     SetEvalFunc(EvalType type, EvalFunc function);
extern void     **EvalRelations(void);
extern void     *EvalNode(node *n);
extern void     FreeNode(node *n);
extern void     PrintNode(node *n);
extern void     InitPrint(FILE *);

extern int      NrIdenticalGensNode;
extern gen      *IdenticalGenNumberNode;
extern int      NumberOfIdenticalGensNode(node *n);

#endif

quality95%

¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.