top_level.c File Reference

#include <stdio.h>
#include <string.h>
#include "../EnginePl/engine_pl.h"
#include "../BipsPl/c_supp.h"
#include "../BipsPl/inl_protos.h"
#include "copying.c"

Include dependency graph for top_level.c:

Macros
#define	Check_Arg(i, str)   (strncmp(argv[i], str, strlen(argv[i])) == 0)
#define	EXEC_CMD_LINE_GOAL   X1_24657865635F636D645F6C696E655F676F616C
#define	PREDICATE_TOP_LEVEL   X0_top_level
#define	L(msg)   fprintf(stderr, "%s\n", msg)

Functions
static void	Display_Help (void)
	Prolog_Prototype (PREDICATE_TOP_LEVEL, 0)
	Prolog_Prototype (EXEC_CMD_LINE_GOAL, 1)
static int	Main_Wrapper (int argc, char *argv[])
int	main (int argc, char *argv[])

Macro Definition Documentation

#define Check_Arg	(		i,
			str
	)		(strncmp(argv[i], str, strlen(argv[i])) == 0)

#define EXEC_CMD_LINE_GOAL   X1_24657865635F636D645F6C696E655F676F616C

#define L

(

msg

)

fprintf(stderr, "%s\n", msg)

#define PREDICATE_TOP_LEVEL   X0_top_level

Function Documentation

static void Display_Help ( void  )

static

Here is the caller graph for this function:

int main	(	int	argc,
		char *	argv[]
	)

Here is the call graph for this function:

static int Main_Wrapper ( int  argc, char *  argv[]  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

Prolog_Prototype	(	PREDICATE_TOP_LEVEL	,
		0
	)

Prolog_Prototype	(	EXEC_CMD_LINE_GOAL	,
		1
	)