frames.h File Reference

#include "literal.h"
#include "stack.h"
#include <stdbool.h>
#include "global.h"

Include dependency graph for frames.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	frame

Macros
#define	FRAME(LEVEL)

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct frame	frame
typedef struct slice	slice

Functions
typedef	STACK (frame) frames

Macro Definition Documentation

FRAME

#define FRAME

(

LEVEL

)

Value:

(PEEK_STACK (solver->frames, (LEVEL)))

Definition at line 33 of file frames.h.

Typedef Documentation

frame

typedef typedefABC_NAMESPACE_HEADER_START struct frame frame

Definition at line 12 of file frames.h.

slice

typedef struct slice slice

Definition at line 13 of file frames.h.

Function Documentation

STACK()

typedef STACK

(

frame

)