GRATgen
Public Member Functions | List of all members
Synch_Data Class Reference

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 (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.
 

Detailed Description

Global data, which is synchronized between threads, or joined after thread's execution from thread's local data.

Constructor & Destructor Documentation

Synch_Data::Synch_Data ( )
inline

Constructor.

Precondition
Global data glb must already be after parsing when constructing this
See also
Object_Lifetimes

The documentation for this class was generated from the following file: