cudd  3.0.0
The University of Colorado Decision Diagram Package
Macros | Functions | Variables
testmtr.c File Reference

Test program for the mtr package. More...

#include "util.h"
#include "mtrInt.h"
Include dependency graph for testmtr.c:

Macros

#define TESTMTR_VERSION   "TestMtr Version #0.6, Release date 2/6/12"
 

Functions

int main (int argc, char **argv)
 Main program for testmtr. More...
 
static void usage (char *prog)
 Prints usage message and exits. More...
 
static FILE * open_file (const char *filename, const char *mode)
 Opens a file. More...
 
static void printHeader (int argc, char **argv)
 Prints the header of the program output. More...
 

Variables

static char rcsid [] = "$Id: testmtr.c,v 1.8 2015/07/01 20:43:45 fabio Exp $"
 

Detailed Description

Test program for the mtr package.

Author
Fabio Somenzi

Function Documentation

◆ main()

int main ( int  argc,
char **  argv 
)

Main program for testmtr.

Performs initialization. Reads command line options and network(s). Builds some simple trees and prints them out.

Side effects None

◆ open_file()

static FILE* open_file ( const char *  filename,
const char *  mode 
)
static

Opens a file.

Opens a file, or fails with an error message and exits. Allows '-' as a synonym for standard input.

Side effects None

◆ printHeader()

static void printHeader ( int  argc,
char **  argv 
)
static

Prints the header of the program output.

Side effects None

◆ usage()

static void usage ( char *  prog)
static

Prints usage message and exits.

Side effects none