List of all items
Structs
- ir::ArrayType
- ir::Context
- ir::ExprMetaData
- ir::ExprRef
- ir::SerializeMeta
- ir::SignalInfo
- ir::SignalLabels
- ir::State
- ir::StateRef
- ir::StringRef
- ir::TransitionSystem
- ir::TypeCheckError
- ir::Uses
- ir::value::Value
- ir::value::ValueRef
- mc::SmtModelChecker
- mc::SmtModelCheckerOptions
- mc::SmtSolverCmd
- mc::UnrollSmtEncoding
- mc::Witness
- mc::WitnessArray
- sim::interpreter::InitValueGenerator
- sim::interpreter::Interpreter
Enums
Traits
- ir::AddNode
- ir::ExprNodeConstruction
- ir::ForEachChild
- ir::GetNode
- ir::SerializableIrNode
- ir::TypeCheck
- mc::TransitionSystemEncoding
- sim::interpreter::Simulator
Functions
- btor2::parse_file
- btor2::parse_file_with_ctx
- btor2::parse_str
- btor2::parse_witness
- btor2::parse_witnesses
- btor2::print_witness
- btor2::serialize
- btor2::serialize_to_str
- btor2::witness_to_string
- ir::analyze_for_serialization
- ir::bv_value_fits_width
- ir::cone_of_influence
- ir::count_expr_uses
- ir::do_transform
- ir::is_usage_root_signal
- ir::merge_signal_info
- ir::replace_anonymous_inputs_with_zero
- ir::simplify_expressions
- ir::value::mask
- ir::value::width_to_words
- mc::check_assuming
- mc::check_assuming_end
- mc::get_smt_value
- mc::parse_big_uint_from_bit_string