GRATgen
|
Global data, which is synchronized between threads, or joined after thread's execution from thread's local data. More...
Public Member Functions | |
Synch_Data () | |
Constructor. More... | |
void | mark_clause (size_t id) |
Mark a clause. | |
void | mark_clause (lit_t *cl) |
Mark a clause. | |
bool | is_marked (lit_t *cl) |
Check if clause is marked. | |
bool | acquire (lit_t *cl) |
Try to acquire a clause. | |
vector< cdb_t > & | proof_of (lit_t *cl) |
Return proof of clause. ALso for modification. | |
void | inc_rat_counts (lit_t l) |
Increment RAT-count for specified literal. | |
const lit_map< atomic< size_t > > & | get_rat_counts () |
Get the RAT-count map. | |
Global data, which is synchronized between threads, or joined after thread's execution from thread's local data.
|
inline |
Constructor.