shithub: riscv

Info  •  Files  •  Log  •  Branches

add #pragma incomplete to sat.h

--- a/sys/include/sat.h

+++ b/sys/include/sat.h

@@ -7,6 +7,10 @@

 typedef struct SATVar SATVar;

 typedef struct SATLit SATLit;

 typedef struct SATConflict SATConflict;

+#pragma incomplete SATClause

+#pragma incomplete SATVar

+#pragma incomplete SATLit

+#pragma incomplete SATConflict

 /* user adjustable parameters */

 struct SATParam {