List of all items

Structs

• builder::ParserInfo
• config::Config
• config::ConfigOption
• config::dbs::AtomDBConfig
• config::dbs::ClauseDBConfig
• context::Counters
• context::GenericContext
• db::atom::AtomDB
• db::atom::watch_db::WatchDB
• db::clause::ClauseDB
• db::clause::activity_glue::ActivityLBD
• db::clause::db_clause::dbClause
• db::literal::ADLevel
• db::literal::LiteralDB
• db::literal::LiteralDBConfig
• generic::index_heap::IndexHeap
• generic::luby::Luby
• generic::minimal_pcg::MinimalPCG32
• ipasir::ContextBundle
• ipasir::ipasir_two::ipasir2_option
• reports::frat::Transcriber
• resolution_buffer::ResolutionBuffer
• resolution_buffer::config::BufferConfig
• structures::consequence::Consequence
• structures::literal::ABLiteral

Enums

• builder::ClauseOk
• config::StoppingCriteria
• config::vsids::VSIDS
• context::ContextState
• db::ClauseKey
• db::atom::AtomValue
• db::atom::watch_db::WatchStatus
• db::atom::watch_db::WatchTag
• db::consequence_q::ConsequenceQueueOk
• db::consequence_q::QPosition
• ipasir::ipasir_two::ipasir2_errorcode
• ipasir::ipasir_two::ipasir2_state
• procedures::analysis::ConflictAnalysisOk
• procedures::apply_consequences::ApplyConsequencesOk
• procedures::decision::DecisionOk
• reports::Report
• resolution_buffer::ResolutionOk
• structures::clause::ClauseKind
• structures::clause::ClauseSource
• structures::consequence::Source
• types::err::AnalysisError
• types::err::AtomDBError
• types::err::BCPError
• types::err::BuildError
• types::err::ClauseDBError
• types::err::ConsequenceQueueError
• types::err::ErrorKind
• types::err::FRATError
• types::err::ParseError
• types::err::PreprocessingError
• types::err::ResolutionBufferError
• types::err::StateError
• types::err::SubsumptionError

Traits

• structures::clause::Clause
• structures::literal::Literal
• structures::valuation::Valuation

Functions

• ipasir::ipasir_one::ipasir_add
• ipasir::ipasir_one::ipasir_assume
• ipasir::ipasir_one::ipasir_failed
• ipasir::ipasir_one::ipasir_init
• ipasir::ipasir_one::ipasir_release
• ipasir::ipasir_one::ipasir_set_learn
• ipasir::ipasir_one::ipasir_set_terminate
• ipasir::ipasir_one::ipasir_signature
• ipasir::ipasir_one::ipasir_solve
• ipasir::ipasir_one::ipasir_val
• ipasir::ipasir_two::ipasir2_add
• ipasir::ipasir_two::ipasir2_delete
• ipasir::ipasir_two::ipasir2_failed
• ipasir::ipasir_two::ipasir2_get_option_handle
• ipasir::ipasir_two::ipasir2_init
• ipasir::ipasir_two::ipasir2_options
• ipasir::ipasir_two::ipasir2_release
• ipasir::ipasir_two::ipasir2_set_export
• ipasir::ipasir_two::ipasir2_set_fixed
• ipasir::ipasir_two::ipasir2_set_import
• ipasir::ipasir_two::ipasir2_set_option
• ipasir::ipasir_two::ipasir2_set_terminate
• ipasir::ipasir_two::ipasir2_signature
• ipasir::ipasir_two::ipasir2_solve
• ipasir::ipasir_two::ipasir2_value
• preprocessing::pure::pure_literals
• preprocessing::pure::set_pure
• reports::frat::callback_templates::transcribe_addition
• reports::frat::callback_templates::transcribe_deletion
• reports::frat::callback_templates::transcribe_premises
• reports::frat::callback_templates::transcribe_unsatisfiable

Type Aliases

• config::Activity
• config::LBD
• config::PolarityLean
• config::RandomDecisionBias
• context::Context
• context::callbacks::CallbackOnClause
• context::callbacks::CallbackOnClauseSource
• context::callbacks::CallbackOnLiteral
• context::callbacks::CallbackOnPremises
• context::callbacks::CallbackTerminate
• db::FormulaIndex
• db::FormulaToken
• db::LevelIndex
• db::consequence_q::ConsequenceQ
• generic::luby::LubyRepresentation
• structures::atom::Atom
• structures::clause::ABClause
• structures::clause::CClause
• structures::clause::IntClause
• structures::literal::CLiteral
• structures::literal::IntLiteral
• structures::valuation::vValuation

Statics

• ipasir::IPASIR_SIGNATURE

Constants

• misc::log::targets::ANALYSIS
• misc::log::targets::BACKJUMP
• misc::log::targets::CLAUSE_DB
• misc::log::targets::PREPROCESSING
• misc::log::targets::PROPAGATION
• misc::log::targets::QUEUE
• misc::log::targets::REDUCTION
• misc::log::targets::RESOLUTION
• misc::log::targets::SUBSUMPTION
• misc::log::targets::VALUATION
• structures::atom::ATOM_MAX