ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
ifthenelse.h
Go to the documentation of this file.
1#ifndef _ifthenelse_h_INCLUDED
2#define _ifthenelse_h_INCLUDED
3
4#include <stdbool.h>
5
6#include "global.h"
7ABC_NAMESPACE_HEADER_START
8
9struct kissat;
10
11bool kissat_find_if_then_else_gate (struct kissat *, unsigned lit,
12 unsigned negative);
13
14ABC_NAMESPACE_HEADER_END
15
16#endif
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
kissat_find_if_then_else_gate
bool kissat_find_if_then_else_gate(struct kissat *, unsigned lit, unsigned negative)
Definition ifthenelse.c:97
lit
int lit
Definition satVec.h:130