GRATgen
|
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(size_t start_item, bool show_status_bar=false) | Verifier | |
dbg_check_uprop() | Verifier | |
for_marked_from(size_t pos, T const &ucr) | Verifier | |
fwd_pass() | Verifier | |
get_cnt_verified() | Verifier | inline |
get_fwd_vmarked() | Verifier | inline |
get_rat_candidates(std::vector< lit_t * > &cands, lit_t pivot) | Verifier | |
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 |
propagate_units_aux() | Verifier | |
readd_clause(lit_t *cl) | Verifier | |
rem_clause(lit_t *cl) | Verifier | |
rollback(size_t pos) | 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 | |
verify(lit_t *cl) | Verifier | |
~Verifier() | Verifier | inline |