List of all items

Structs

• assignment::Assignment
• clause::Clause
• clause::GRATLiteral
• clause::LRATDependency
• clause::LRATLiteral
• clause::ProofStep
• clause::Reason
• clause::Tagged32
• clause::TaggedUSize
• clausedatabase::ClauseDatabase
• clausedatabase::WitnessDatabase
• literal::Literal
• literal::Variable
• memory::Array
• memory::BoundedVector
• memory::StackMapping
• memory::Vector
• output::Timer
• parser::HashTable
• parser::HashTableIterator
• parser::Input
• parser::Parser
• sick::Sick
• sick::Witness

Enums

• clause::RedundancyProperty
• parser::ProofParserState

Traits

• clausedatabase::ClauseStorage
• memory::HeapSpace
• memory::Offset

Macros

• as_error
• as_warning
• comment
• die
• invariant
• puts
• requires

Functions

• assignment::stable_under_unit_propagation
• clause::puts_clause
• clause::puts_clause_with_id
• clause::puts_clause_with_id_and_witness
• clause::write_clause
• memory::assert_in_bounds
• memory::format_memory_usage
• output::current_executable
• output::install_signal_handler
• output::is_a_tty
• output::panic_on_error
• output::print_key_value
• output::print_solution
• output::unreachable
• parser::finish_proof
• parser::is_binary_drat
• parser::open_file
• parser::open_file_for_writing
• parser::parse_files
• parser::parse_literal
• parser::parse_literal_binary
• parser::parse_proof_step
• parser::proof_format_by_extension
• parser::read_compressed_file
• parser::read_compressed_file_or_stdin
• parser::run_parser
• parser::run_parser_on_formula
• sick::check_incorrectness_certificate

Type Aliases

• clause::ClauseIdentifierType

Constants

• clausedatabase::FIELDS_OFFSET
• clausedatabase::PADDING_END
• clausedatabase::PADDING_START
• config::CHECK_INVARIANTS
• config::CHECK_PRECONDITIONS
• config::CHECK_TRAIL_INVARIANTS
• config::CHECK_WATCH_INVARIANTS
• config::ENABLE_BOUNDS_CHECKING
• config::ENABLE_LOGGING