GRATgen: Class Members - Functions

GRATgen

### - a -

- acquire() : spinlock , Synch_Data
- add_clause() : Verifier
- append() : ClauseDB
- assign_true() : Verifier

### - b -

- bin_parse_proof() : Parser
- bulk_mark_clauses() : Synch_Data
- bwd_pass() : Verifier

### - c -

- c2p() : ClauseDB
- ClauseDB() : ClauseDB
- clid() : ClauseDB
- close() : Proof_Writer< binary >
- clw1() : ClauseDB
- clw2() : ClauseDB
- current() : ClauseDB

### - d -

- do_verification() : VController
- dump_proof() : VController
- dump_split_proof() : VController

### - e -

- erase() : item_t

### - f -

- for_marked_from() : Verifier
- fwd_pass() : Verifier

### - g -

- get_conflict() : Global_Data
- get_db() : ClauseDB , Global_Data
- get_fst_lemma_id() : Global_Data
- get_fst_prf_item() : Global_Data
- get_fwd_trail() : Global_Data
- get_fwd_vmarked() : Verifier
- get_incoming() : Synch_Data
- get_item() : Global_Data
- get_max_var() : Global_Data , lit_map< T >
- get_num_clauses() : Global_Data
- get_num_items() : Global_Data
- get_pivot() : Global_Data
- get_pos() : item_t
- get_rat_counts() : Synch_Data
- get_trail() : Verifier
- get_trpos() : item_t
- Global_Data() : Global_Data

### - h -

- has_tr_pos() : item_t

### - i -

- inc_rat_counts() : Synch_Data
- init_after_fwd() : Global_Data
- init_after_parsing() : Verifier
- is_after_parsing() : Global_Data
- is_deletion() : item_t
- is_erased() : item_t
- is_false() : Verifier
- is_formula_clause() : Global_Data
- is_marked() : Synch_Data
- is_true() : Verifier
- item_t() : item_t

### - j -

- join_vmarked() : Global_Data

### - l -

- lbegin() : lit_map< T >
- lend() : lit_map< T >
- lit_map() : lit_map< T >

### - m -

- mark_clause() : Verifier
- mark_clause_single_threaded() : Synch_Data
- mark_var() : Verifier

### - o -

- operator()() : push_clause_ids
- operator=() : ClauseDB , lit_map< T > , Verifier
- operator[]() : lit_map< T >

### - p -

- p2c() : ClauseDB
- p2i() : ClauseDB
- parse_clause() : Parser
- parse_deletion() : Parser
- parse_dimacs() : Parser
- parse_ignore_comments() : Parser
- parse_proof() : Parser
- Parser() : Parser
- pos_t() : pos_t
- proof_of() : Synch_Data
- Proof_Writer() : Proof_Writer< binary >
- propagate_units() : Verifier
- push_clause_ids() : push_clause_ids

### - r -

- readd_clause() : Verifier
- release() : spinlock
- rem_clause() : Verifier
- resize_reset() : lit_map< T >
- rollback() : Verifier

### - s -

- set_trpos() : item_t
- shrink_to() : ClauseDB
- spinlock() : spinlock
- start_ty() : Proof_Writer< binary >
- sync_incoming_marked() : Verifier
- sync_marked() : Verifier
- Synch_Data() : Synch_Data

### - t -

- trail_pos() : Verifier
- truncate_items() : Global_Data

### - v -

- VController() : VController
- Verifier() : Verifier

### - w -

- write_cnt() : Proof_Writer< binary >
- write_del() : Proof_Writer< binary >
- write_id() : Proof_Writer< binary >
- write_lit() : Proof_Writer< binary >
- write_uprop() : Proof_Writer< binary >
- write_Z() : Proof_Writer< binary >

### - ~ -

- ~VController() : VController
- ~Verifier() : Verifier