egraphInit

INT egraphInit(EliminGraph *egraph)

egraphExit

void egraphExit(EliminGraph *egraph)

treeInit

INT treeInit(EliminTree *etree)

treeExit

void treeExit(EliminTree *etree)

treePlot

void treePlot(EliminTree *etree,
FILE *out)
INT egraphInit(EliminGraph *egraph)
void egraphExit(EliminGraph *egraph)
INT treeInit(EliminTree *etree)
void treeExit(EliminTree *etree)
void treePlot(EliminTree *etree,
FILE *out)
Close