[問題] sat make error

看板EE_DSnP作者Letitiamm (Letitia)時間15年前 (2011/01/15 17:18)推噓1(1推 0噓 8→)

留言9則, 2人參與討論串1/1

請問一下 sat要用的話是不是在cirFraig.cpp 裡 include "sat.h" sat/Makefile/EXTHDRS = sat.h Solver.h SolverTypes.h VarOrder.h Proof.h Global.h \ File.h Heap.h Sort.h 我還有漏掉什麼步驟嗎 ../../include/sat.h:14:20: error: Solver.h: 沒有此一檔案或目錄 In file included from cirFraig.cpp:13: ../../include/sat.h:38: error: ‘Var’ does not name a type ../../include/sat.h:40: error: ‘Var’ has not been declared ../../include/sat.h:40: error: ‘Var’ has not been declared ../../include/sat.h:40: error: ‘Var’ has not been declared ../../include/sat.h:52: error: ‘Var’ has not been declared ../../include/sat.h:52: error: ‘Var’ has not been declared 以下省略他出現一大串這樣的東西 > < -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.216.200

→

Letitiamm

01/15 18:06, , 1^F

01/15 18:06, 1^F

→

Letitiamm

01/15 18:07, , 2^F

01/15 18:07, 2^F

→

Letitiamm

01/15 18:07, , 3^F

01/15 18:07, 3^F