ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
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)))
#define LEVEL(LIT)
Definition assign.h:34
#define PEEK_STACK(S, N)
Definition stack.h:29
#define solver
Definition kitten.c:211

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 )