索引

A

Assign (C++ class) Assign::Assign (C++ function), [1], [2], [3] Assign::decode_node_id (C++ function) Assign::decode_time (C++ function) Assign::decode_val (C++ function) Assign::encode (C++ function) Assign::hash (C++ function) Assign::node (C++ function) Assign::node_id (C++ function) Assign::node_time (C++ function) Assign::operator!= (C++ function) Assign::operator< (C++ function) Assign::operator<= (C++ function) Assign::operator= (C++ function) Assign::operator== (C++ function) Assign::operator> (C++ function) Assign::operator>= (C++ function) Assign::operator~ (C++ function)

Assign::time (C++ function) Assign::val (C++ function) AssignList (C++ class) AssignList::add (C++ function), [1] AssignList::AssignList (C++ function), [1], [2], [3] AssignList::begin (C++ function) AssignList::clear (C++ function) AssignList::diff (C++ function), [1] AssignList::elem (C++ function) AssignList::end (C++ function) AssignList::merge (C++ function) AssignList::operator+= (C++ function), [1] AssignList::operator-= (C++ function), [1] AssignList::operator= (C++ function), [1] AssignList::operator[] (C++ function) AssignList::sanity_check (C++ function) AssignList::size (C++ function) AssignList::~AssignList (C++ function)

B

BdEngine (C++ class) BdEngine::BdEngine (C++ function) BdEngine::extract_sufficient_condition (C++ function), [1] BdEngine::output (C++ function) BdEngine::output_list (C++ function) BdEngine::output_num (C++ function) BdEngine::prop_var (C++ function), [1] BdEngine::~BdEngine (C++ function) BitVector (C++ class) BitVector::bin_str (C++ function) BitVector::BitVector (C++ function), [1] BitVector::block_num (C++ function) BitVector::fix_x_from_random (C++ function) BitVector::from_bin (C++ function) BitVector::from_hex (C++ function) BitVector::hash (C++ function) BitVector::hex_str (C++ function) BitVector::init (C++ function) BitVector::len (C++ function) BitVector::lshift (C++ function) BitVector::operator!= (C++ function) BitVector::operator& (C++ function) BitVector::operator&& (C++ function) BitVector::operator&= (C++ function)

BitVector::operator< (C++ function) BitVector::operator<= (C++ function) BitVector::operator= (C++ function) BitVector::operator== (C++ function) BitVector::operator> (C++ function) BitVector::operator>= (C++ function) BitVector::rshift (C++ function) BitVector::set_from_bin (C++ function) BitVector::set_from_hex (C++ function) BitVector::set_from_random (C++ function) BitVector::set_val (C++ function) BitVector::val (C++ function) BitVector::x_count (C++ function) BitVector::~BitVector (C++ function) BoolDiffEnc (C++ class) BoolDiffEnc::BoolDiffEnc (C++ function), [1] BoolDiffEnc::extract_sufficient_condition (C++ function), [1] BoolDiffEnc::output (C++ function) BoolDiffEnc::output_list (C++ function) BoolDiffEnc::output_num (C++ function) BoolDiffEnc::prop_var (C++ function), [1] BoolDiffEnc::root_node (C++ function) BoolDiffEnc::tfo_list (C++ function) BoolDiffEnc::~BoolDiffEnc (C++ function)

C

CondGenMgr (C++ class) CondGenMgr::expr_to_cnf (C++ function) CondGenMgr::make_base_cnf (C++ function) CondGenMgr::make_bd (C++ function) CondGenMgr::make_cnf (C++ function) CondGenMgr::make_cnf_naive (C++ function) CondGenMgr::make_cond (C++ function)

CondGenMgr::make_expr (C++ function) CondGenStats (C++ class) CondGenStats::base_size (C++ function) CondGenStats::bd_size (C++ function) CondGenStats::cond_size (C++ function) CondGenStats::CondGenStats (C++ function), [1] CondGenStats::~CondGenStats (C++ function) count_ones (C++ function)

D

DetCond (C++ class) DetCond::cond (C++ function) DetCond::cond_list (C++ function) DetCond::CondData (C++ struct) DetCond::CondData::cube_list (C++ member) DetCond::CondData::mand_cond (C++ member) DetCond::DetCond (C++ function) DetCond::detected (C++ function) DetCond::ffr_id (C++ function) DetCond::output_list (C++ function) DetCond::overflow (C++ function) DetCond::partial_detected (C++ function) DetCond::print (C++ function) DetCond::root (C++ function) DetCond::Type (C++ enum) DetCond::type (C++ function) DetCond::Type::Detected (C++ enumerator) DetCond::Type::Overflow (C++ enumerator) DetCond::Type::PartialDetected (C++ enumerator) DetCond::Type::Undetected (C++ enumerator) DetCond::undetected (C++ function) DetCond::~DetCond (C++ function) DffVector (C++ class) DffVector::DffVector (C++ function), [1], [2] DffVector::operator& (C++ function) DffVector::operator= (C++ function) DffVector::~DffVector (C++ function) diff (C++ function) DiffBits (C++ class) DiffBits::add_output (C++ function) DiffBits::clear (C++ function) DiffBits::DiffBits (C++ function) DiffBits::elem_num (C++ function) DiffBits::hash (C++ function) DiffBits::operator!= (C++ function) DiffBits::operator== (C++ function) DiffBits::output (C++ function) DiffBits::print (C++ function) DiffBits::sort (C++ function) DiffBits::sorted (C++ function) DiffBits::~DiffBits (C++ function) DiffBitsArray (C++ class) DiffBitsArray::add_output (C++ function) DiffBitsArray::add_pat (C++ function) DiffBitsArray::clear (C++ function) DiffBitsArray::dbits (C++ function)

DiffBitsArray::dbits_union (C++ function) DiffBitsArray::DiffBitsArray (C++ function) DiffBitsArray::elem_num (C++ function) DiffBitsArray::get_slice (C++ function) DiffBitsArray::hash (C++ function) DiffBitsArray::masking (C++ function) DiffBitsArray::operator!= (C++ function) DiffBitsArray::operator== (C++ function) DiffBitsArray::output (C++ function) DiffBitsArray::print (C++ function) DiffBitsArray::sort (C++ function) DiffBitsArray::sorted (C++ function) DiffBitsArray::~DiffBitsArray (C++ function) druid モジュール DtpgResult (C++ class) DtpgResult::detected (C++ function) DtpgResult::DtpgResult (C++ function) DtpgResult::operator= (C++ function) DtpgResult::set (C++ function), [1] DtpgResult::status (C++ function) DtpgResult::testvector (C++ function) DtpgResult::undetected (C++ function) DtpgResult::untestable (C++ function) DtpgResult::~DtpgResult (C++ function) DtpgStats (C++ class) DtpgStats::abort_count (C++ function) DtpgStats::abort_time (C++ function) DtpgStats::backtrace_time (C++ function) DtpgStats::clear (C++ function) DtpgStats::cnfgen_count (C++ function) DtpgStats::cnfgen_time (C++ function) DtpgStats::detect_count (C++ function) DtpgStats::detect_time (C++ function) DtpgStats::DtpgStats (C++ function) DtpgStats::merge (C++ function) DtpgStats::sat_stats (C++ function) DtpgStats::sat_stats_max (C++ function) DtpgStats::total_count (C++ function) DtpgStats::untest_count (C++ function) DtpgStats::untest_time (C++ function) DtpgStats::update_abort (C++ function) DtpgStats::update_cnf (C++ function) DtpgStats::update_det (C++ function) DtpgStats::update_sat_stats (C++ function) DtpgStats::update_untest (C++ function) DtpgStats::~DtpgStats (C++ function)

F

FaultStatus (C++ enum) FaultStatus::Detected (C++ enumerator) FaultStatus::Undetected (C++ enumerator) FaultStatus::Untestable (C++ enumerator) FaultType (C++ enum) FaultType::GateExhaustive (C++ enumerator) FaultType::None (C++ enumerator) FaultType::StuckAt (C++ enumerator) FaultType::TransitionDelay (C++ enumerator) Fsim (C++ class) Fsim::calc_wsa (C++ function), [1] Fsim::cbtype1 (C++ type) Fsim::cbtype2 (C++ type) Fsim::clear_skip (C++ function), [1] Fsim::clear_skip_all (C++ function) Fsim::Fsim (C++ function), [1], [2]

Fsim::get_skip (C++ function) Fsim::get_state (C++ function) Fsim::operator= (C++ function), [1] Fsim::PP_BITLEN (C++ member) Fsim::ppsfp (C++ function) Fsim::set_skip (C++ function), [1] Fsim::set_skip_all (C++ function) Fsim::set_state (C++ function) Fsim::sppfp (C++ function), [1] Fsim::spsfp (C++ function), [1] Fsim::xsppfp (C++ function) Fsim::xspsfp (C++ function) Fsim::~Fsim (C++ function) Fval2 (C++ enum) Fval2::one (C++ enumerator) Fval2::zero (C++ enumerator)

I

InputVector (C++ class) InputVector::InputVector (C++ function), [1], [2] InputVector::operator& (C++ function) InputVector::operator= (C++ function)

InputVector::~InputVector (C++ function) is_fall_transition (C++ function) is_rise_transition (C++ function) is_sa0 (C++ function) is_sa1 (C++ function)

O

operator!= (C++ function), [1]

operator<< (C++ function), [1] operator== (C++ function), [1]

P

PackedVal (C++ type) PackedVal3 (C++ class) PackedVal3::diff (C++ function) PackedVal3::negate (C++ function) PackedVal3::operator!= (C++ function) PackedVal3::operator& (C++ function) PackedVal3::operator&= (C++ function) PackedVal3::operator= (C++ function), [1] PackedVal3::operator== (C++ function) PackedVal3::operator^ (C++ function), [1] PackedVal3::operator^= (C++ function), [1] PackedVal3::operator| (C++ function)

PackedVal3::operator|= (C++ function) PackedVal3::operator~ (C++ function) PackedVal3::PackedVal3 (C++ function), [1], [2], [3] PackedVal3::set (C++ function) PackedVal3::set_with_mask (C++ function), [1] PackedVal3::val0 (C++ function) PackedVal3::val01 (C++ function) PackedVal3::val1 (C++ function) PackedVal3::~PackedVal3 (C++ function) PV_ALL0 (C++ member) PV_ALL1 (C++ member) PV_BITLEN (C++ member)

S

str (C++ function) StructEngine (C++ class) StructEngine::add_cur_node (C++ function) StructEngine::add_cur_node_list (C++ function) StructEngine::add_prev_node (C++ function) StructEngine::add_prev_node_list (C++ function) StructEngine::add_subenc (C++ function) StructEngine::cnf_time (C++ function) StructEngine::conv_to_literal (C++ function) StructEngine::conv_to_literal_list (C++ function) StructEngine::cur_node_list (C++ function) StructEngine::expr_to_cnf (C++ function) StructEngine::get_pi_assign (C++ function)

StructEngine::get_stats (C++ function) StructEngine::gvar (C++ function) StructEngine::gvar_map (C++ function) StructEngine::hvar (C++ function) StructEngine::justify (C++ function) StructEngine::network (C++ function) StructEngine::new_variable (C++ function) StructEngine::prev_node_list (C++ function) StructEngine::solve (C++ function) StructEngine::solver (C++ function) StructEngine::StructEngine (C++ function) StructEngine::update (C++ function) StructEngine::val (C++ function) StructEngine::~StructEngine (C++ function)

T

TestVector (C++ class) TestVector::aux_input_val (C++ function) TestVector::bin_str (C++ function) TestVector::dff_num (C++ function) TestVector::dff_val (C++ function) TestVector::fix_x_from_random (C++ function) TestVector::from_bin (C++ function) TestVector::from_hex (C++ function) TestVector::has_aux_input (C++ function) TestVector::hex_str (C++ function) TestVector::init (C++ function) TestVector::input_num (C++ function) TestVector::input_val (C++ function) TestVector::is_compatible (C++ function) TestVector::is_equal (C++ function) TestVector::merge (C++ function) TestVector::merge_int (C++ function) TestVector::operator!= (C++ function) TestVector::operator& (C++ function) TestVector::operator&& (C++ function) TestVector::operator&= (C++ function) TestVector::operator< (C++ function) TestVector::operator<= (C++ function) TestVector::operator= (C++ function) TestVector::operator== (C++ function) TestVector::operator> (C++ function) TestVector::operator>= (C++ function) TestVector::ppi_num (C++ function) TestVector::ppi_val (C++ function) TestVector::set_aux_input_val (C++ function) TestVector::set_dff_val (C++ function) TestVector::set_from_assign_list (C++ function) TestVector::set_from_random (C++ function) TestVector::set_input_val (C++ function) TestVector::set_ppi_val (C++ function) TestVector::TestVector (C++ function), [1], [2], [3], [4], [5], [6], [7] TestVector::val (C++ function) TestVector::vector_size (C++ function) TestVector::x_count (C++ function) TestVector::~TestVector (C++ function) TpgBase (C++ class) TpgBase::check_eq (C++ function) TpgBase::is_valid (C++ function) TpgBase::operator!= (C++ function) TpgBase::operator== (C++ function) TpgBase::TpgBase (C++ function), [1] TpgBase::~TpgBase (C++ function) TpgFault (C++ class) TpgFault::branch_pos (C++ function) TpgFault::excitation_condition (C++ function) TpgFault::fault_type (C++ function) TpgFault::ffr_propagate_condition (C++ function) TpgFault::ffr_root (C++ function) TpgFault::fval (C++ function) TpgFault::gate (C++ function) TpgFault::hash (C++ function) TpgFault::input_vals (C++ function) TpgFault::is_branch (C++ function) TpgFault::is_stem (C++ function) TpgFault::operator<< (C++ function) TpgFault::origin_node (C++ function) TpgFault::rep_fault (C++ function) TpgFault::str (C++ function) TpgFault::TpgFault (C++ function), [1] TpgFault::~TpgFault (C++ function) TpgFaultList (C++ class) TpgFaultList::begin (C++ function) TpgFaultList::end (C++ function) TpgFaultList::max_fid (C++ function) TpgFaultList::operator[] (C++ function) TpgFaultList::push_back (C++ function) TpgFaultList::TpgFaultList (C++ function), [1], [2] TpgFaultList::~TpgFaultList (C++ function) TpgFFR (C++ class) TpgFFR::input (C++ function) TpgFFR::input_list (C++ function) TpgFFR::input_num (C++ function) TpgFFR::node (C++ function) TpgFFR::node_list (C++ function) TpgFFR::node_num (C++ function) TpgFFR::root (C++ function) TpgFFR::TpgFFR (C++ function), [1] TpgFFR::~TpgFFR (C++ function) TpgFFRList (C++ class) TpgFFRList::begin (C++ function) TpgFFRList::end (C++ function) TpgFFRList::operator[] (C++ function) TpgFFRList::push_back (C++ function) TpgFFRList::TpgFFRList (C++ function), [1] TpgFFRList::~TpgFFRList (C++ function) TpgGate (C++ class) TpgGate::branch_fault (C++ function) TpgGate::branch_info (C++ function) TpgGate::BranchInfo (C++ struct) TpgGate::BranchInfo::ipos (C++ member) TpgGate::BranchInfo::node (C++ member) TpgGate::cval (C++ function) TpgGate::ex_fault (C++ function) TpgGate::expr (C++ function) TpgGate::extra_node_num (C++ function) TpgGate::input_node (C++ function) TpgGate::input_num (C++ function) TpgGate::is_complex (C++ function) TpgGate::is_ppi (C++ function) TpgGate::is_ppo (C++ function) TpgGate::is_simple (C++ function) TpgGate::name (C++ function) TpgGate::output_node (C++ function) TpgGate::primitive_type (C++ function)

TpgGate::stem_fault (C++ function) TpgGate::TpgGate (C++ function), [1] TpgGate::~TpgGate (C++ function) TpgGateList (C++ class) TpgGateList::begin (C++ function) TpgGateList::end (C++ function) TpgGateList::operator[] (C++ function) TpgGateList::push_back (C++ function) TpgGateList::TpgGateList (C++ function), [1] TpgGateList::~TpgGateList (C++ function) TpgMFFC (C++ class) TpgMFFC::ffr (C++ function) TpgMFFC::ffr_list (C++ function) TpgMFFC::ffr_num (C++ function) TpgMFFC::root (C++ function) TpgMFFC::TpgMFFC (C++ function), [1] TpgMFFC::~TpgMFFC (C++ function) TpgMFFCList (C++ class) TpgMFFCList::begin (C++ function) TpgMFFCList::end (C++ function) TpgMFFCList::operator[] (C++ function) TpgMFFCList::push_back (C++ function) TpgMFFCList::TpgMFFCList (C++ function), [1] TpgMFFCList::~TpgMFFCList (C++ function) TpgNetwork (C++ class) TpgNetwork::dff_input (C++ function) TpgNetwork::dff_num (C++ function) TpgNetwork::dff_output (C++ function) TpgNetwork::dfs (C++ function) TpgNetwork::dfs_post (C++ function) TpgNetwork::dfs_pre (C++ function) TpgNetwork::fault (C++ function) TpgNetwork::fault_type (C++ function) TpgNetwork::ffr (C++ function), [1], [2] TpgNetwork::ffr_list (C++ function) TpgNetwork::ffr_num (C++ function) TpgNetwork::from_bn (C++ function) TpgNetwork::gate (C++ function) TpgNetwork::gate_list (C++ function) TpgNetwork::gate_num (C++ function) TpgNetwork::get_tfi_list (C++ function), [1] TpgNetwork::get_tfo_list (C++ function), [1], [2], [3] TpgNetwork::has_prev_state (C++ function) TpgNetwork::input (C++ function) TpgNetwork::input_list (C++ function) TpgNetwork::input_num (C++ function) TpgNetwork::max_fault_id (C++ function) TpgNetwork::mffc (C++ function), [1], [2] TpgNetwork::mffc_list (C++ function) TpgNetwork::mffc_num (C++ function) TpgNetwork::node (C++ function) TpgNetwork::node_list (C++ function) TpgNetwork::node_num (C++ function) TpgNetwork::output (C++ function) TpgNetwork::output2 (C++ function) TpgNetwork::output_list (C++ function) TpgNetwork::output_num (C++ function) TpgNetwork::ppi (C++ function) TpgNetwork::ppi_list (C++ function) TpgNetwork::ppi_name (C++ function) TpgNetwork::ppi_num (C++ function) TpgNetwork::ppo (C++ function) TpgNetwork::ppo_list (C++ function) TpgNetwork::ppo_name (C++ function) TpgNetwork::ppo_num (C++ function) TpgNetwork::print (C++ function) TpgNetwork::read_blif (C++ function) TpgNetwork::read_iscas89 (C++ function) TpgNetwork::read_network (C++ function) TpgNetwork::rep_fault_list (C++ function) TpgNetwork::TpgNetwork (C++ function), [1] TpgNetwork::~TpgNetwork (C++ function) TpgNode (C++ class) TpgNode::alt_node (C++ function) TpgNode::coval (C++ function) TpgNode::cval (C++ function) TpgNode::dff_id (C++ function) TpgNode::fanin (C++ function) TpgNode::fanin_list (C++ function) TpgNode::fanin_num (C++ function) TpgNode::fanout (C++ function) TpgNode::fanout_list (C++ function) TpgNode::fanout_num (C++ function) TpgNode::ffr_root (C++ function) TpgNode::gate_type (C++ function) TpgNode::imm_dom (C++ function) TpgNode::input_id (C++ function) TpgNode::is_dff_input (C++ function) TpgNode::is_dff_output (C++ function) TpgNode::is_logic (C++ function) TpgNode::is_ppi (C++ function) TpgNode::is_ppo (C++ function) TpgNode::is_primary_input (C++ function) TpgNode::is_primary_output (C++ function) TpgNode::mffc_root (C++ function) TpgNode::noval (C++ function) TpgNode::nval (C++ function) TpgNode::output_id (C++ function) TpgNode::output_id2 (C++ function) TpgNode::str (C++ function) TpgNode::TpgNode (C++ function), [1] TpgNode::~TpgNode (C++ function) TpgNodeList (C++ class) TpgNodeList::begin (C++ function) TpgNodeList::end (C++ function) TpgNodeList::operator[] (C++ function) TpgNodeList::push_back (C++ function) TpgNodeList::TpgNodeList (C++ function), [1] TpgNodeList::~TpgNodeList (C++ function)

V

VidMap (C++ class) VidMap::init (C++ function) VidMap::operator() (C++ function)

VidMap::set_vid (C++ function) VidMap::VidMap (C++ function) VidMap::~VidMap (C++ function)

モ

モジュール druid