Back to index

wims  3.65+svn20090927
Classes | Defines | Typedefs | Enumerations | Variables
tables.c File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  op

Defines

#define oppunctno   (sizeof(oppunct)/sizeof(oppunct[0]))
#define opalphano   (sizeof(opalpha)/sizeof(opalpha[0]))
#define exptypeno   (sizeof(exptype)/sizeof(exptype[0]))

Typedefs

typedef struct op op

Enumerations

enum  {
  exp_number, exp_variable, exp_paren, exp_matrix,
  exp_set, exp_fn, exp_exp, exp_muldiv,
  exp_cupcap, exp_add, exp_eq, exp_ineq,
  exp_not, exp_and, exp_or, exp_imply,
  exp_comma, exp_quantifier
}

Variables

char * typenames []
struct {
char * name
int lvl1
int lvl2
exptype []

Class Documentation

struct op

Definition at line 34 of file tables.c.

Class Members
int lvl
char * name

Define Documentation

#define exptypeno   (sizeof(exptype)/sizeof(exptype[0]))

Definition at line 109 of file tables.c.

#define opalphano   (sizeof(opalpha)/sizeof(opalpha[0]))

Definition at line 78 of file tables.c.

#define oppunctno   (sizeof(oppunct)/sizeof(oppunct[0]))

Definition at line 65 of file tables.c.


Typedef Documentation

typedef struct op op

Enumeration Type Documentation

anonymous enum
Enumerator:
exp_number 
exp_variable 
exp_paren 
exp_matrix 
exp_set 
exp_fn 
exp_exp 
exp_muldiv 
exp_cupcap 
exp_add 
exp_eq 
exp_ineq 
exp_not 
exp_and 
exp_or 
exp_imply 
exp_comma 
exp_quantifier 

Definition at line 18 of file tables.c.


Variable Documentation

struct { ... } exptype[]
char* typenames[]
Initial value:
{
    "number", "variable",
      "parentheses","matrix","set","function",
      "exponentiation","term","cupcap","addition",
      "equation","inequality","not","and","or","implication",
      "comma","quantifier"
}

Definition at line 26 of file tables.c.