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(bool show_status_bar)Verifier
for_marked_from(size_t pos, T const &ucr)Verifier
fwd_pass()Verifier
get_cnt_verified() (defined in Verifier)Verifierinline
get_fwd_vmarked()Verifierinline
get_trail() constVerifierinline
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
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()Verifierinline
Verifier(ClauseDB &_db)Verifierinline
Verifier(Verifier const &vrf)Verifierinline
Verifier(Verifier const &&vrf)=delete (defined in Verifier)Verifier
~Verifier()Verifierinline