GRATgen: Member List

GRATgen

Verifier Member List

This is the complete list of members for Verifier, including all inherited members.

acres_t enum name | Verifier |
add_clause(lit_t *cl) | Verifier |
assign_true(lit_t l, lit_t *reason) | Verifier | inline
bwd_pass(bool show_status_bar) | Verifier |
for_marked_from(size_t pos, T const &ucr) | Verifier |
fwd_pass() | Verifier |
get_cnt_verified() (defined in Verifier) | Verifier | inline
get_fwd_vmarked() | Verifier | inline
get_trail() const | Verifier | inline
init_after_parsing(Synch_Data *_sdata) | Verifier | inline
is_false(lit_t l) | Verifier | inline
is_true(lit_t l) | Verifier | inline
mark_clause(lit_t *cl) | Verifier |
mark_var(size_t v) | Verifier | inline
operator=(Verifier const &vrf) | Verifier | inline
operator=(Verifier const &&vrf)=delete (defined in Verifier) | Verifier |
propagate_units() | Verifier | inline
readd_clause(lit_t *cl) | Verifier |
rem_clause(lit_t *cl) | Verifier |
rollback(size_t pos) | Verifier |
sync_incoming_marked() | Verifier |
sync_marked(bool force) | Verifier |
trail_pos() | Verifier | inline
Verifier(ClauseDB &_db) | Verifier | inline
Verifier(Verifier const &vrf) | Verifier | inline
Verifier(Verifier const &&vrf)=delete (defined in Verifier) | Verifier |
~Verifier() | Verifier | inline