|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
This is the complete list of members for CaDiCaL::ExternalPropagator, including all inherited members.
| are_reasons_forgettable | CaDiCaL::ExternalPropagator | |
| cb_add_external_clause_lit()=0 | CaDiCaL::ExternalPropagator | pure virtual |
| cb_add_reason_clause_lit(int propagated_lit) | CaDiCaL::ExternalPropagator | inlinevirtual |
| cb_check_found_model(const std::vector< int > &model)=0 | CaDiCaL::ExternalPropagator | pure virtual |
| cb_decide() | CaDiCaL::ExternalPropagator | inlinevirtual |
| cb_has_external_clause(bool &is_forgettable)=0 | CaDiCaL::ExternalPropagator | pure virtual |
| cb_propagate() | CaDiCaL::ExternalPropagator | inlinevirtual |
| is_lazy | CaDiCaL::ExternalPropagator | |
| notify_assignment(const std::vector< int > &lits)=0 | CaDiCaL::ExternalPropagator | pure virtual |
| notify_backtrack(size_t new_level)=0 | CaDiCaL::ExternalPropagator | pure virtual |
| notify_new_decision_level()=0 | CaDiCaL::ExternalPropagator | pure virtual |
| ~ExternalPropagator() | CaDiCaL::ExternalPropagator | inlinevirtual |