GRATgen
Verifier Member List

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

acres_t enum nameVerifier
add_clause(lit_t *cl)Verifier
assign_true(lit_t l, lit_t *reason)Verifierinline
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_fwd_vmarked()Verifierinline
get_rat_candidates(std::vector< lit_t * > &cands, lit_t pivot)Verifier
get_trail() const Verifierinline
init_after_parsing(Synch_Data *_sdata)Verifierinline
is_false(lit_t l)Verifierinline
is_true(lit_t l)Verifierinline
mark_clause(lit_t *cl)Verifier
mark_var(size_t v)Verifierinline
operator=(Verifier const &vrf)Verifierinline
operator=(Verifier const &&vrf)=delete (defined in Verifier)Verifier
propagate_units()Verifierinline
propagate_units_aux()Verifier
readd_clause(lit_t *cl)Verifier
rem_clause(lit_t *cl)Verifier
rollback(size_t pos)Verifier
trail_pos()Verifierinline
Verifier(ClauseDB &_db)Verifierinline
Verifier(Verifier const &vrf)Verifierinline
Verifier(Verifier const &&vrf)=delete (defined in Verifier)Verifier
verify(lit_t *cl)Verifier
~Verifier()Verifierinline