literal.h File Reference

#include <stdio.h>
#include <stdlib.h>
#include "bool/kit/kit.h"
#include "misc/vec/vec.h"
#include "misc/util/abc_global.h"

Include dependency graph for literal.h:

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

Go to the source code of this file.

Classes
struct	Literal_t_

Typedefs
typedef struct Literal_t_	Literal_t

Enumerations
enum	Operator_t { LIT_NONE = 0 , LIT_AND , LIT_OR , LIT_XOR }
	INCLUDES ///. More...

Typedef Documentation

Literal_t

typedef struct Literal_t_ Literal_t

Definition at line 50 of file literal.h.

Enumeration Type Documentation

Operator_t

enum Operator_t

INCLUDES ///.

CFile****************************************************************

FileName [literal.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [RPO]

Synopsis [Literal structure]

Author [Mayler G. A. Martins / Vinicius Callegaro]

Affiliation [UFRGS]

Date [Ver. 1.0. Started - May 08, 2013.]

Revision [

Id

literal.h,v 1.00 2013/05/08 00:00:00 mgamartins Exp

] PARAMETERS ///

Enumerator
LIT_NONE
LIT_AND
LIT_OR
LIT_XOR

Definition at line 42 of file literal.h.

             {
    LIT_NONE = 0, // 0: unknown
    LIT_AND, // 1: AND association
    LIT_OR, // 2: OR association
    LIT_XOR // 3: XOR association (not used yet)
} Operator_t;