Method List

Classes Methods Files

Search:

#!= Udb::Z3ParameterTerm
#!= Udb::Z3ExtensionVersion
#& Udb::AbstractCondition
#& Udb::Condition
#& Udb::AlwaysTrueCondition
#& Udb::AlwaysFalseCondition
#-@ Udb::AbstractCondition
#-@ Udb::Condition
#-@ Udb::AlwaysTrueCondition
#-@ Udb::AlwaysFalseCondition
#< Udb::Z3ParameterTerm
#< Udb::Z3ExtensionVersion
#<= Udb::Z3ParameterTerm
#<= Udb::Z3ExtensionVersion
#<=> Udb::LogLevel
#<=> Udb::XlenTerm
#<=> Udb::ExtensionTerm
#<=> Udb::ParameterTerm
#<=> Udb::FreeTerm
#<=> Udb::VersionSpec
#<=> Udb::Extension
#<=> Udb::ExtensionVersion
#<=> Udb::ExtensionRequirement
#<=> Udb::Parameter
#<=> Udb::Portfolio::InScopeParameter
#<=> Udb::Instruction
#<=> Udb::DatabaseObject
#<=> Udb::Person
#<=> Udb::ExceptionCode
#<=> Udb::InterruptCode
#== Udb::Z3ParameterTerm
#== Udb::Z3ExtensionVersion
#== Udb::Csr
#== Udb::ExtensionRequirement
#== Udb::Instruction
#> Udb::Z3ParameterTerm
#> Udb::Z3ExtensionVersion
#>= Udb::Z3ParameterTerm
#>= Udb::Z3ExtensionVersion
#[] Udb::Z3FiniteArray
#[] Udb::Z3ParameterTerm
#__source Udb::CsrField
#__source Udb::DatabaseObject
#_eval Udb::ParameterTerm
#_nt_conjunction Eqn
#_nt_disjunction Eqn
#_nt_eqn Eqn
#_nt_expression Eqn
#_nt_name Eqn
#_nt_not Eqn
#_nt_one Eqn
#_nt_paren Eqn
#_nt_space Eqn
#_nt_unary_expression Eqn
#_nt_zero Eqn
#access Udb::Instruction
#access_detail Udb::Instruction
#access_detail? Udb::Instruction
#additional_extensions_allowed? Udb::PartialConfig
#address Udb::Csr
adjust_heading_levels PrmGenerator
#advance Udb::DummyProgressBar
#affected_by? Udb::Csr
#affected_by? Udb::CsrField
#alias Udb::CsrField
#alias Udb::Instruction::DecodeVariable
#all_csrs_that_must_be_implemented Udb::ExtensionVersion
#all_in_scope_exts_with_param Udb::PortfolioGroup
#all_in_scope_exts_with_param Udb::Portfolio
#all_in_scope_exts_with_param Udb::ProcCertModel
#all_in_scope_exts_with_param Udb::PortfolioDesign
#all_in_scope_exts_without_param Udb::PortfolioGroup
#all_in_scope_exts_without_param Udb::Portfolio
#all_in_scope_exts_without_param Udb::ProcCertModel
#all_in_scope_exts_without_param Udb::PortfolioDesign
#all_in_scope_params Udb::ProfileRelease
#all_in_scope_params Udb::Profile
#all_in_scope_params Udb::PortfolioGroup
#all_in_scope_params Udb::Portfolio
#all_in_scope_params Udb::ProcCertModel
#all_in_scope_params Udb::PortfolioDesign
#all_instructions_that_must_be_implemented Udb::ExtensionVersion
#all_instructions_that_must_be_implemented Udb::ExtensionRequirement
#all_out_of_scope_params Udb::PortfolioGroup
#all_out_of_scope_params Udb::Portfolio
#all_out_of_scope_params Udb::ProcCertModel
#all_out_of_scope_params Udb::PortfolioDesign
#all_params_that_must_be_implemented Udb::Extension
#all_schemas Udb::Parameter
#allowed_values Udb::Portfolio::InScopeParameter
#always_implies? Udb::LogicNode
#always_implies? Udb::AbstractCondition
#any_newer? Udb::Resolver
#arch Udb::ExtensionVersion
#arch Udb::DatabaseObject
#arch Udb::PortfolioDesign
#arch_overlay Udb::AbstractConfig
#arch_overlay_abs Udb::AbstractConfig
#array_comparison? Udb::ParameterTerm
ary_from_location Udb::Instruction
#assembly Udb::Instruction
#bad_encoding_conflict? Udb::Instruction
banner SubCommandBase
#base Udb::Csr
#base Udb::Profile
#base Udb::CsrField
#base Udb::Portfolio
#base Udb::Instruction
#base32_only? Udb::CsrField
#base64_only? Udb::CsrField
#bitfield_type Udb::Csr
#bits Udb::Instruction::DecodeVariable
#breaking? Udb::ExtensionVersion
#canonical Udb::VersionSpec
#canonical_version Udb::ExtensionVersion
#cert_coverage_point Udb::CertifiableObject
#cert_coverage_point_hash Udb::CertifiableObject
#cert_normative_rules Udb::CertTestProcedure
#cert_normative_rules Udb::CertifiableObject
#cert_steps Udb::CertTestProcedure
#cert_test_procedure Udb::CertifiableObject
#cert_test_procedure_hash Udb::CertifiableObject
#cert_test_procedures Udb::CertifiableObject
#cfg Udb::CliCommands::Validate
#cfg_arch Udb::ManualVolume
#cfg_arch Udb::ExtensionRequirement
#cfg_arch Udb::Parameter
#cfg_arch Udb::DatabaseObject
#cfg_arch Udb::PortfolioDesign
#cfg_arch? Udb::DatabaseObject
#cfg_arch_for Udb::Resolver
#cfg_info Udb::Resolver
#cfgs_path Udb::Resolver
#changes Udb::ExtensionVersion
#changes Udb::Portfolio::RevisionHistory
#chapter Udb::ManualVolume
#chapters Udb::Prm
#chapters Udb::ManualVolume
#children Udb::LogicNode
#clone Udb::DatabaseObject
#cnf? Udb::LogicNode
#cnf_conjunction_term? Udb::LogicNode
#cnf_form Udb::LogicNode::MemoizedState
#collect_tseytin Udb::LogicNode
#compact_priv_type Udb::Extension
#company Udb::ProfileFamily
#company Udb::Extension
#company Udb::Person
#comparison Udb::ExtensionTerm
#comparison_type Udb::ParameterTerm
#comparison_value Udb::ParameterTerm
#compatible? Udb::AbstractCondition
#compatible? Udb::AlwaysTrueCondition
#compatible? Udb::AlwaysFalseCondition
#compatible? Udb::ExtensionVersion
#compatible? Udb::ExtensionRequirement
#compatible_versions Udb::ExtensionVersion::MemomizedState
#compatible_versions Udb::ExtensionVersion
#cond Udb::LogicNode::ConditionalEndterm
#cond Udb::ConditionalExtensionRequirement
#cond Udb::ConditionalExtensionVersion
#cond Udb::Extension::ConditionallyApplicableParameter
#cond Udb::Parameter::ConditionalSchema
#condition Udb::ExtensionVersion::MemomizedState
#condition_hash Udb::ExtensionVersion
#condition_hash Udb::ExtensionRequirement
#conditional_expanded_extension_requirements Udb::ExtensionVersion::MemomizedState
#conditional_extension_requirements Udb::ExtensionVersion
#conditional_params Udb::Extension
#conditional_unexpanded_extension_requirements Udb::ExtensionVersion::MemomizedState
#config Udb::ConfiguredArchitecture
#config_type Udb::ConfiguredArchitecture
#configured? Udb::AbstractConfig
#conflicting_extensions Udb::Extension
#conflicting_instructions Udb::Instruction
conjunction Udb::Condition
#conjunction Eqn::Paren1
#conjunction Eqn::Disjunction0
constrain_array Udb::Z3ParameterTerm
constrain_bool Udb::Z3ParameterTerm
constrain_int Udb::Z3ParameterTerm
constrain_string Udb::Z3ParameterTerm
#constraint Udb::IdlCondition
#contributors Udb::ProfileRelease
#contributors Udb::ExtensionVersion
#convert_monospace_to_links Udb::ConfiguredArchitecture
#could_be_satisfied_by_cfg_arch? Udb::AbstractCondition
#covered_by? Udb::AbstractCondition
create Udb::AbstractConfig
create Udb::ExtensionVersion
create_asciidoc_link PrmGenerator::LinkResolver
create_from_ext_vers Udb::ExtensionRequirement
create_from_yaml Udb::ExtensionRequirement
create_json_schemer_resolver Udb::TopLevelDatabaseObject
create_progressbar Udb
create_top_level_progressbar Udb
#csr_presence Udb::ProfileRelease
#csr_presence Udb::PortfolioGroup
#csr_presence Udb::Portfolio
#csr_presence Udb::PortfolioDesign
#csr_presence_obj Udb::Portfolio
#csrs Udb::CliCommands::List
#csrs Udb::ManualVersion
#csrs Udb::Extension
#csrs Udb::ExtensionVersion
#csrs Udb::ExtensionRequirement
#csrs_that_must_be_implemented Udb::Extension
#custom_path Udb::Resolver
#data Udb::DatabaseObject
#data Udb::NonIsaSpecification
#data_independent_timing? Udb::Instruction
#data_path Udb::DatabaseObject
#date Udb::Portfolio::RevisionHistory
#debug_manual_revision Udb::ProcCertModel
#decode_variables Udb::Instruction::Encoding
#decode_variables Udb::Instruction
#decorate Tapioca::Compilers::Encryptable
#decrement_patch Udb::VersionSpec
#default Udb::Parameter
default_cfgs_path Udb
default_custom_isa_path Udb
default_gen_path Udb
default_std_isa_path Udb
#defer Udb::DatabaseObject
#defined_by_condition Udb::DatabaseObject
#defined_by_condition Udb::NonIsaSpecification
#defined_in_all_bases? Udb::Csr
#defined_in_all_bases? Udb::CsrField
#defined_in_base32? Udb::Csr
#defined_in_base32? Udb::CsrField
#defined_in_base64? Udb::Csr
#defined_in_base64? Udb::CsrField
#defined_in_base? Udb::Csr
#defined_in_base? Udb::CsrField
#defined_in_base? Udb::Instruction
#defined_in_cfg? Udb::Parameter
#defining_extension_requirements Udb::Csr
#defining_extension_requirements Udb::ExtensionVersion
delete_top_level_progressbar Udb
deprecated_validate_encoding Udb::Instruction
#description Udb::AbstractConfig
#description Udb::Prm
#description Udb::PortfolioClass
#description Udb::Portfolio
#description Udb::ProcCertModel::Requirement
#description Udb::ProcCertModel::RequirementGroup
#description Udb::DatabaseObject
#description Udb::CertNormativeRule
#description Udb::CertTestProcedure
#description_html Udb::Csr
detect_array_subtype Udb::Z3ParameterTerm
detect_type Udb::Z3ParameterTerm
#directly_defined_instructions Udb::ExtensionVersion
#directly_defined_instructions_set Udb::ExtensionVersion
#disasm Udb::Cli
disjunction Udb::Condition
#disjunction Eqn::Expression0
#display_name Udb::Code
#distribute_not Udb::LogicNode
#dnf? Udb::LogicNode
#dnf_disjunctive_term? Udb::LogicNode
#do_list Udb::ExtensionRequirementList
#do_to_eqntott Udb::LogicNode
#doc_license Udb::ProfileFamily
#doc_license Udb::Extension
#doc_links Udb::CertNormativeRule
#dst_link Udb::DocLink
#dynamic_length? Udb::Csr
#dynamic_location? Udb::CsrField
#dynamic_reset_value? Udb::CsrField
#email Udb::Person
#empty? Udb::Schema
#empty? Udb::AbstractCondition
#empty? Udb::Condition
#empty? Udb::LogicCondition
#empty? Udb::AlwaysTrueCondition
#empty? Udb::AlwaysFalseCondition
#encoding Udb::Instruction
#encoding_fields Udb::Instruction::DecodeVariable
#encoding_format Udb::Instruction
#encoding_repl Udb::Instruction::DecodeVariable
#encoding_width Udb::Instruction
#eql? Udb::XlenTerm
#eql? Udb::ExtensionTerm::ComparisonOp
#eql? Udb::ExtensionTerm
#eql? Udb::ParameterTerm
#eql? Udb::FreeTerm
#eql? Udb::LogicNode
#eql? Udb::ConfiguredArchitecture
#eql? Udb::VersionSpec
#eql? Udb::RequirementSpec
#eql? Udb::ExtensionVersion
#eql? Udb::ExtensionRequirement
#eql? Udb::PortfolioClass
#eql? Udb::Instruction
#eql? Udb::Instruction::EncodingField
#eql? Udb::Instruction::DecodeVariable
#eql? Udb::ExceptionCode
#eql? Udb::InterruptCode
#eqn Udb::LogicNode::EqntottResult
#equisat_cnf Udb::LogicNode::MemoizedState
#equisat_cnf Udb::LogicNode
#equisatisfiable? Udb::LogicNode
#equiv_cnf Udb::LogicNode::MemoizedState
#equiv_cnf Udb::LogicNode
#equivalent? Udb::ParameterTerm
#equivalent? Udb::LogicNode
#equivalent? Udb::AbstractCondition
#erb_env Udb::PortfolioDesign
#erb_env Udb::ProcCertDesign
#espresso Udb::LogicNode
#essential Udb::LogicNode::PrimeImplicantsResult
#eval Udb::ParameterTerm
#eval Udb::Constraint
#eval_cb Udb::LogicNode
#eval_value Udb::ParameterTerm
#exception_codes Udb::Extension
#exception_codes Udb::ExtensionVersion
#excludes Udb::Instruction::DecodeVariable
#exists? Udb::CsrField
#exists_in_cfg? Udb::Csr
#exists_in_cfg? Udb::CsrField
#exists_in_cfg? Udb::Instruction
#exists_in_cfg? Udb::NonIsaSpecification
exit_on_failure? Udb::Cli
#expand_implemented_extension_list Udb::ConfiguredArchitecture
#expand_term_requirements Udb::Condition
#expand_to_enforce_single_ext_ver Udb::Condition
#expanded_ext_conflicts Udb::ExtensionVersion::MemomizedState
#expanded_ext_requirements Udb::ExtensionVersion::MemomizedState
#explicitly_implemented_extension_versions Udb::ConfiguredArchitecture
#expression Eqn::Eqn0
#ext Udb::ExtensionVersion
#ext? Udb::ConfiguredArchitecture
#ext_conflicts Udb::ExtensionVersion
#ext_major Udb::Z3Solver
#ext_minor Udb::Z3Solver
#ext_note_to_adoc Udb::Profile
#ext_patch Udb::Z3Solver
#ext_pre Udb::Z3Solver
#ext_req Udb::Z3Solver
#ext_req Udb::ConditionalExtensionRequirement
#ext_req Udb::PortfolioExtensionRequirement
#ext_req_terms Udb::AbstractCondition
#ext_req_to_adoc Udb::Profile
#ext_requirements Udb::ExtensionVersion
#ext_ver Udb::Z3Solver
#ext_ver Udb::ConditionalExtensionVersion
#extension Udb::CliCommands::Show
#extension Udb::ExtensionRequirement
#extension_note Udb::Portfolio
#extension_presence Udb::ProfileRelease
#extension_presence Udb::PortfolioGroup
#extension_presence Udb::Portfolio
#extension_presence Udb::PortfolioDesign
#extension_presence_obj Udb::Portfolio
#extension_requirement Udb::ConfiguredArchitecture
#extension_requirements_hash Udb::ConfiguredArchitecture::MemoizedState
#extension_version Udb::ConfiguredArchitecture
#extension_versions Udb::Architecture
#extension_versions_hash Udb::ConfiguredArchitecture::MemoizedState
#extensions Udb::CliCommands::List
#extensions Udb::ManualVolume
#extensions Udb::ManualVersion
#extensions_to_adoc Udb::Profile
#extra_notes Udb::Portfolio
#extra_notes_for_presence Udb::Portfolio
#extract Udb::Z3ParameterTerm
#extract Udb::Instruction::DecodeVariable
#extract_location Udb::Instruction::DecodeVariable
#extract_prose_statements Udb::NonIsaSpecification
#fetch Udb::ConfiguredArchitecture
#field Udb::Csr
#field Udb::CsrField::Alias
#field? Udb::Csr
#field_hash Udb::Csr
#fields Udb::Csr
#fields_for Udb::Csr
#fill_symtab Udb::Csr
#fill_symtab Udb::Instruction
#fill_symtab_for_reset Udb::CsrField
#fill_symtab_for_sw_write Udb::CsrField
#fill_symtab_for_type Udb::CsrField
find_prime_implicants Udb::LogicNode
#finish Udb::DummyProgressBar
#first Eqn::Conjunction1
#first Eqn::Disjunction1
#format Udb::Instruction::Encoding
#format_changes_with_xlen? Udb::Csr
#from_dimacs Udb::LogicNode
from_yaml Udb::Presence
#fullpath Udb::ManualChapter
#fully_configured? Udb::AbstractConfig
#fully_configured? Udb::UnConfig
#fully_configured? Udb::PartialConfig
#fully_configured? Udb::FullConfig
#fully_configured? Udb::ConfiguredArchitecture
#fully_configured? Udb::PortfolioDesign
#function Udb::ConfiguredArchitecture
#function_hash Udb::ConfiguredArchitecture
#functions Udb::ConfiguredArchitecture
gather_constants Tapioca::Compilers::Encryptable
gem_path Udb
#gen_path Udb::Resolver
#general_extension_requirements_condition Udb::Extension
#generate PrmGenerator::MainDocumentGenerator
#generate PrmGenerator::PdfGenerator
#generate_adoc PrmGenerator::Generator
#generate_all PrmGenerator::ComponentGenerator
generate_obj_methods Udb::ConfiguredArchitecture
#generate_pdf PrmGenerator::Generator
#global_ast Udb::ConfiguredArchitecture
#globals Udb::ConfiguredArchitecture
#group_by_2 Udb::LogicNode
group_mterms Udb::LogicNode
#grouped_by_2? Udb::LogicNode
#grouped_encoding_fields Udb::Instruction::DecodeVariable
#has_custom_sw_read? Udb::Csr
#has_custom_sw_write? Udb::CsrField
#has_extension_requirement? Udb::AbstractCondition
#has_extension_requirement? Udb::Condition
#has_extension_requirement? Udb::AlwaysTrueCondition
#has_extension_requirement? Udb::AlwaysFalseCondition
#has_param? Udb::AbstractCondition
#has_param? Udb::Condition
#has_param? Udb::AlwaysTrueCondition
#has_param? Udb::AlwaysFalseCondition
#has_type? Udb::Instruction
#hash Udb::XlenTerm
#hash Udb::ExtensionTerm::ComparisonOp
#hash Udb::ExtensionTerm
#hash Udb::ParameterTerm
#hash Udb::FreeTerm
#hash Udb::LogicNode
#hash Udb::ConfiguredArchitecture
#hash Udb::VersionSpec
#hash Udb::RequirementSpec
#hash Udb::ExtensionVersion
#hash Udb::ExtensionRequirement
#hash Udb::Instruction::EncodingField
#hash Udb::Instruction::DecodeVariable
#hash Udb::ExceptionCode
#hash Udb::InterruptCode
#hints Udb::Instruction
#id Udb::FreeTerm
#id Udb::CertNormativeRule
#id Udb::CertTestProcedure
#idl_compiler Udb::ConfiguredArchitecture
#idl_type Udb::Parameter
#idl_type Udb::Portfolio::InScopeParameter
#idx_term Udb::Z3ParameterTerm
#implemented_csrs Udb::ConfiguredArchitecture
#implemented_exception_codes Udb::ConfiguredArchitecture
#implemented_ext_vers Udb::PortfolioDesign
#implemented_extension_version Udb::ConfiguredArchitecture
#implemented_extension_version_hash Udb::ConfiguredArchitecture::MemoizedState
#implemented_extension_versions Udb::ConfiguredArchitecture::MemoizedState
#implemented_extension_versions Udb::ConfiguredArchitecture
#implemented_extensions Udb::FullConfig
#implemented_functions Udb::ConfiguredArchitecture
#implemented_instructions Udb::ConfiguredArchitecture
#implemented_interrupt_codes Udb::ConfiguredArchitecture
#implemented_non_isa_specs Udb::ConfiguredArchitecture
#implied_csrs Udb::Extension
#implied_csrs Udb::ExtensionVersion
#implied_extension_conflicts Udb::AbstractCondition
#implied_extension_conflicts Udb::Condition
#implied_extension_conflicts Udb::AlwaysTrueCondition
#implied_extension_conflicts Udb::AlwaysFalseCondition
#implied_extension_requirements Udb::AbstractCondition
#implied_extension_requirements Udb::Condition
#implied_extension_requirements Udb::AlwaysTrueCondition
#implied_extension_requirements Udb::AlwaysFalseCondition
#implied_extension_versions Udb::ExtensionRequirementList
#implied_instructions Udb::Extension
#implied_instructions Udb::ExtensionVersion
#implied_instructions Udb::ExtensionRequirement
#implied_instructions_set Udb::Extension
#implied_instructions_set Udb::ExtensionVersion
#implied_instructions_set Udb::ExtensionRequirement
#implied_params Udb::Extension
#implied_params Udb::ExtensionRequirement
#implies Udb::AbstractCondition
#in_scope_csrs Udb::ExtensionVersion
#in_scope_csrs Udb::PortfolioGroup
#in_scope_csrs Udb::Portfolio
#in_scope_csrs Udb::PortfolioDesign
#in_scope_exception_codes Udb::PortfolioGroup
#in_scope_exception_codes Udb::Portfolio
#in_scope_exception_codes Udb::PortfolioDesign
#in_scope_ext_reqs Udb::PortfolioGroup
#in_scope_ext_reqs Udb::Portfolio
#in_scope_ext_reqs Udb::PortfolioDesign
#in_scope_extensions Udb::ProfileFamily
#in_scope_extensions Udb::ProfileRelease
#in_scope_extensions Udb::PortfolioGroup
#in_scope_extensions Udb::Portfolio
#in_scope_extensions Udb::PortfolioDesign
#in_scope_extensions_matching_processor_kind Udb::ProfileFamily
#in_scope_instructions Udb::ExtensionVersion
#in_scope_instructions Udb::PortfolioGroup
#in_scope_instructions Udb::Portfolio
#in_scope_instructions Udb::PortfolioDesign
#in_scope_interrupt_codes Udb::PortfolioGroup
#in_scope_interrupt_codes Udb::Portfolio
#in_scope_interrupt_codes Udb::PortfolioDesign
#in_scope_min_satisfying_extension_versions Udb::Portfolio
#in_scope_params Udb::PortfolioGroup
#in_scope_params Udb::Portfolio
#in_scope_params Udb::PortfolioDesign
#in_scope_priv_modes Udb::ProcCertModel
inc_brute_force_sat_solves Udb::LogicNode
inc_minisat_cache_hits Udb::LogicNode
inc_minisat_sat_solves Udb::LogicNode
#include_erb Udb::PortfolioDesign
#include_erb Udb::ProcCertDesign
include_file PrmGenerator::FileIncluder
#increment_patch Udb::VersionSpec
#index Udb::ParameterTerm
#indirect? Udb::Csr
#indirect_address Udb::Csr
#indirect_slot Udb::Csr
#indistinguishable? Udb::Instruction::Encoding
#info Udb::AbstractConfig
#init_erb_binding Udb::PortfolioDesign
#initialize Udb::Z3FiniteArray
#initialize Udb::Z3ParameterTerm
#initialize Udb::Z3ExtensionRequirement
#initialize Udb::Z3ExtensionVersion
#initialize Udb::Z3Solver
#initialize Udb::Eqn
#initialize Udb::XlenTerm
#initialize Udb::ExtensionTerm
#initialize Udb::ParameterTerm
#initialize Udb::FreeTerm
#initialize Udb::LogicNode::MemoizedState
#initialize Udb::LogicNode
#initialize Udb::LogicNode::PairMintermsResult
#initialize Udb::LogicNode::PrimeImplicantsResult
#initialize Udb::LogicNode::ConditionalEndterm
#initialize Udb::LogicNode::EqntottResult
#initialize Udb::AbstractConfig
#initialize Udb::UnConfig
#initialize Udb::PartialConfig
#initialize Udb::FullConfig
#initialize Udb::Schema
#initialize Udb::Csr::MemoizedState
#initialize Udb::Csr
#initialize Udb::ConfiguredArchitecture::ValidationResult
#initialize Udb::ConfiguredArchitecture::MemoizedState
#initialize Udb::ConfiguredArchitecture
#initialize Udb::DocLink
#initialize Udb::Resolver::ConfigInfo
#initialize Udb::Resolver
#initialize Udb::ConditionalExtensionRequirement
#initialize Udb::ConditionalExtensionVersion
#initialize Udb::Constraint
#initialize Udb::Condition::MemoizedState
#initialize Udb::Condition
#initialize Udb::LogicCondition
#initialize Udb::AlwaysTrueCondition
#initialize Udb::AlwaysFalseCondition
#initialize Udb::ParamCondition
#initialize Udb::ExtensionCondition
#initialize Udb::XlenCondition
#initialize Udb::IdlCondition
#initialize Udb::ExtensionRequirementList
#initialize Udb::ManualChapter
#initialize Udb::ManualVolume
#initialize Udb::Architecture
#initialize Udb::VersionSpec
#initialize Udb::RequirementSpec
#initialize Udb::CsrField::MemoizedState
#initialize Udb::CsrField
#initialize Udb::Extension::ConditionallyApplicableParameter
#initialize Udb::ExtensionVersion::MemomizedState
#initialize Udb::ExtensionVersion
#initialize Udb::ExtensionRequirement
#initialize Udb::Parameter::ConditionalSchema
#initialize Udb::Parameter
#initialize Udb::ParameterWithValue
#initialize Udb::PortfolioExtensionRequirement
#initialize Udb::PortfolioGroup
#initialize Udb::Portfolio
#initialize Udb::Portfolio::InScopeParameter
#initialize Udb::Portfolio::RevisionHistory
#initialize Udb::Portfolio::ExtraNote
#initialize Udb::Portfolio::Recommendation
#initialize PrmGenerator::Generator
#initialize PrmGenerator::ComponentGenerator
#initialize PrmGenerator::MainDocumentGenerator
#initialize PrmGenerator::PdfGenerator
#initialize Udb::ProcCertModel
#initialize Udb::ProcCertModel::Requirement
#initialize Udb::ProcCertModel::RequirementGroup
#initialize Udb::InstructionType
#initialize Udb::InstructionSubtype::Opcode
#initialize Udb::InstructionSubtype
#initialize Udb::Instruction::MemoizedState
#initialize Udb::Instruction
#initialize Udb::Instruction::Opcode
#initialize Udb::Instruction::EncodingField
#initialize Udb::Instruction::DecodeVariable
#initialize Udb::Instruction::Encoding::Field
#initialize Udb::Instruction::Encoding
#initialize Udb::DatabaseObject
#initialize Udb::TopLevelDatabaseObject::SchemaError
#initialize Udb::TopLevelDatabaseObject::SchemaValidationError
#initialize Udb::TopLevelDatabaseObject
#initialize Udb::Company
#initialize Udb::License
#initialize Udb::Person
#initialize Udb::PortfolioDesign
#initialize Udb::ProcCertDesign
#initialize Udb::CertNormativeRule
#initialize Udb::CertTestProcedure
#initialize Udb::NonIsaSpecification
#initialize Udb::ExternalDocumentationRenderer
#inspect Udb::ConfiguredArchitecture
#inspect Udb::VersionSpec
#inspect Udb::ExtensionVersion
#inspect Udb::DatabaseObject
#inspect Udb::PortfolioDesign
#inspect Udb::ProcCertDesign
#inst_pos_to_var_pos Udb::Instruction::DecodeVariable
#instruction_presence Udb::ProfileRelease
#instruction_presence Udb::PortfolioGroup
#instruction_presence Udb::Portfolio
#instruction_presence Udb::PortfolioDesign
#instruction_presence_obj Udb::Portfolio
#instructions Udb::ManualVersion
#instructions Udb::Extension
#instructions Udb::ExtensionRequirement
#instructions_set Udb::Extension
#instructions_set Udb::ExtensionRequirement
#interrupt_codes Udb::Extension
#interrupt_codes Udb::ExtensionVersion
#introduction Udb::ProfileRelease
#introduction Udb::PortfolioClass
#introduction Udb::Portfolio
#invert! Udb::ExtensionRequirement
#is_cnf Udb::LogicNode::MemoizedState
#is_ext_ver? Udb::ExtensionRequirement
#is_nested_cnf Udb::LogicNode::MemoizedState
#is_power_of_two? Udb::Schema
#is_reduced Udb::LogicNode::MemoizedState
#is_satisfiable Udb::LogicNode::MemoizedState
#isa_manual_tree Udb::ManualVersion
join Udb::Condition
#key Udb::ExtensionVersion::MemomizedState
#key? Udb::TopLevelDatabaseObject
#keys Udb::TopLevelDatabaseObject
#kind Udb::DatabaseObject
#kind Udb::CertTestProcedure
#large2hex Udb::Schema
#largest_encoding Udb::ConfiguredArchitecture
#left_shift Udb::Instruction::DecodeVariable
#length Udb::Csr
#length Udb::InstructionType
#length_cond32 Udb::Csr
#length_cond64 Udb::Csr
#length_pretty Udb::Csr
#list Udb::ExtensionRequirementList
#literals Udb::LogicNode::MemoizedState
#literals Udb::LogicNode
#load_spec_data Udb::NonIsaSpecification
#location Udb::CsrField
#location Udb::Instruction::DecodeVariable
#location_bits Udb::Instruction::DecodeVariable
#location_cond32 Udb::CsrField
#location_cond64 Udb::CsrField
#location_pretty Udb::CsrField
log_level Udb
log_level= Udb
logger Udb
#long_name Udb::Csr
#long_name Udb::Extension
#long_name Udb::DatabaseObject
#long_name Udb::NonIsaSpecification
#major Udb::VersionSpec
#make_cb_proc Udb::Condition
#make_cond_ext_req Udb::ExtensionRequirementList
make_eval_cb Udb::LogicNode
make_replace_cb Udb::LogicNode
#mandatory? Udb::Presence
#mandatory_ext_reqs Udb::PortfolioGroup
#mandatory_ext_reqs Udb::Portfolio
#mandatory_ext_reqs Udb::PortfolioDesign
#mandatory_extension_reqs Udb::ConfiguredArchitecture
#mandatory_extensions Udb::PartialConfig
#manual Udb::ManualVersion
#marketing_name Udb::Manual
#marketing_name Udb::ProfileFamily
#marketing_name Udb::ProfileRelease
#marketing_name Udb::Profile
#marketing_version Udb::ManualVersion
#mask_to_array Udb::Instruction
#matched_mterms Udb::LogicNode::PairMintermsResult
#matches_any_version? Udb::ExtensionTerm
#max_base Udb::PortfolioGroup
#max_encoding_width Udb::Instruction
#max_items Udb::Z3ParameterTerm
#max_length Udb::Csr
#max_possible_version Udb::ExtensionTerm
#max_satisfying_ext_ver Udb::ExtensionRequirement
#max_size Udb::Z3FiniteArray
#max_val Udb::Schema
#max_val_known? Udb::Schema
#max_version Udb::Extension
#max_width Udb::CsrField
#maximal_idl_type Udb::Parameter
#maximal_schema Udb::Parameter
#memo Udb::LogicNode
#mentions? Udb::AbstractCondition
#mentions_xlen? Udb::AbstractCondition
#merge Udb::Schema
#merge Udb::ExtensionRequirement
#merge_arch Udb::Resolver
#merged_spec_path Udb::Resolver::ConfigInfo
#merged_spec_path Udb::Resolver
#min_length Udb::Csr
#min_possible_version Udb::ExtensionTerm
#min_ratified_version Udb::Extension
#min_satisfying_ext_ver Udb::ExtensionRequirement
#min_val Udb::Schema
#min_val_known? Udb::Schema
#min_version Udb::Extension
#minimal Udb::LogicNode::PrimeImplicantsResult
#minimal_unsat_subsets Udb::LogicNode
#minimize Udb::LogicNode
#minimize Udb::AbstractCondition
#minimize Udb::Condition
#minimize Udb::AlwaysTrueCondition
#minimize Udb::AlwaysFalseCondition
#minor Udb::VersionSpec
#mode Udb::Profile
#modes_with_access Udb::Csr
#multi_encoding? Udb::Instruction
#multi_xlen Udb::ConfiguredArchitecture::MemoizedState
#multi_xlen? Udb::ConfiguredArchitecture
#multi_xlen_in_mode Udb::ConfiguredArchitecture::MemoizedState
#multi_xlen_in_mode? Udb::ConfiguredArchitecture
#mxlen Udb::AbstractConfig
#mxlen Udb::UnConfig
#mxlen Udb::PartialConfig
#mxlen Udb::FullConfig
#mxlen Udb::ConfiguredArchitecture
#name Udb::ExtensionTerm
#name Udb::ParameterTerm
#name Udb::AbstractConfig
#name Udb::Csr
#name Udb::ConfiguredArchitecture
#name Udb::Resolver::ConfigInfo
#name Eqn::Not0
#name Udb::ManualChapter
#name Udb::ExtensionVersion
#name Udb::ExtensionRequirement
#name Udb::Parameter
#name Udb::PortfolioGroup
#name Udb::Portfolio::InScopeParameter
#name Udb::ProcCertModel::Requirement
#name Udb::ProcCertModel::RequirementGroup
#name Udb::InstructionSubtype::Opcode
#name Udb::Instruction::EncodingField
#name Udb::Instruction::DecodeVariable
#name Udb::Instruction::Encoding::Field
#name Udb::DatabaseObject
#name Udb::Company
#name Udb::License
#name Udb::Person
#name Udb::PortfolioDesign
#name Udb::NonIsaSpecification
#name_potentially_with_link Udb::Parameter
#naming_scheme Udb::ProfileFamily
#negate Udb::ParameterTerm
#nested_cnf? Udb::LogicNode
#nested_cnf_conjunction_term? Udb::LogicNode
#new_group Udb::LogicNode::PairMintermsResult
#nnf Udb::LogicNode
#nnf? Udb::LogicNode
#node_children Udb::LogicNode
not Udb::Condition
#note Udb::PortfolioExtensionRequirement
#note Udb::Portfolio::InScopeParameter
#num Udb::Code
#num_bits Udb::Schema
num_brute_force_sat_solves Udb::LogicNode
num_minisat_cache_hits Udb::LogicNode
num_minisat_sat_solves Udb::LogicNode
#objs Udb::Architecture
one_of Udb::Condition
#op Udb::RequirementSpec
#opcode? Udb::Instruction::Opcode
#opcode? Udb::Instruction::EncodingField
#opcode? Udb::Instruction::Encoding::Field
#opcode_fields Udb::Instruction::Encoding
#opcodes Udb::InstructionSubtype
#opcodes Udb::Instruction
#operation_ast Udb::Instruction
#optional? Udb::Presence
#optional_ext_reqs Udb::PortfolioGroup
#optional_ext_reqs Udb::Portfolio
#optional_extension_versions Udb::ConfiguredArchitecture
#optional_in_cfg? Udb::Csr
#optional_in_cfg? Udb::CsrField
#optional_in_cfg? Udb::NonIsaSpecification
#optional_type Udb::Presence
#other_requirements Udb::Instruction
#out_of_scope_params Udb::ConfiguredArchitecture::MemoizedState
#out_of_scope_params Udb::ConfiguredArchitecture
#out_of_scope_params Udb::PortfolioGroup
#out_of_scope_params Udb::Portfolio
#out_of_scope_params Udb::ProcCertModel
#out_of_scope_params Udb::PortfolioDesign
#output_dir PrmGenerator::Generator
overlapping_format? Udb::Instruction::Encoding
#overlaps? Udb::InstructionSubtype::Opcode
#overlaps? Udb::Instruction::DecodeVariable
#overlay? Udb::AbstractConfig
#overlay_path Udb::Resolver::ConfigInfo
pair_mterms Udb::LogicNode
#param Udb::Z3Solver
#param Udb::Extension::ConditionallyApplicableParameter
#param Udb::Portfolio::InScopeParameter
#param_is_array? Udb::ParameterTerm
#param_terms Udb::AbstractCondition
#param_to_s Udb::ParameterTerm
#param_values Udb::AbstractConfig
#param_values Udb::UnConfig
#param_values Udb::PartialConfig
#param_values Udb::FullConfig
#param_values Udb::ConfiguredArchitecture
#param_values Udb::PortfolioGroup
#param_values Udb::PortfolioDesign
#parameter Udb::CliCommands::Show
#parameters Udb::CliCommands::List
#params Udb::Extension
#params Udb::ExtensionVersion
#params Udb::ExtensionRequirement
#params_with_value Udb::ConfiguredArchitecture::MemoizedState
#params_with_value Udb::ConfiguredArchitecture
#params_with_value Udb::PortfolioDesign
#params_without_value Udb::ConfiguredArchitecture::MemoizedState
#params_without_value Udb::ConfiguredArchitecture
#parent Udb::CsrField
#partial_eval Udb::ParameterTerm
#partial_eval Udb::AbstractCondition
#partial_eval Udb::Condition
#partial_eval Udb::AlwaysTrueCondition
#partial_eval Udb::AlwaysFalseCondition
#partial_evaluate Udb::LogicNode
#partially_configured? Udb::AbstractConfig
#partially_configured? Udb::UnConfig
#partially_configured? Udb::PartialConfig
#partially_configured? Udb::FullConfig
#partially_configured? Udb::ConfiguredArchitecture
#partially_configured? Udb::PortfolioDesign
#partially_evaluate_for_params Udb::AbstractCondition
#partially_evaluate_for_params Udb::Condition
#partially_evaluate_for_params Udb::AlwaysTrueCondition
#partially_evaluate_for_params Udb::AlwaysFalseCondition
#patch Udb::VersionSpec
#path Udb::Resolver::ConfigInfo
#path Udb::ManualChapter
#path Udb::ManualVersion
#path Udb::Architecture
#pop Udb::Z3Solver
#portfolio Udb::Architecture
#portfolio_class Udb::Architecture
#portfolio_class Udb::PortfolioDesign
#portfolio_class_hash Udb::Architecture
#portfolio_classes Udb::Architecture
#portfolio_classes_matching_portfolio_kind_and_processor_kind Udb::PortfolioClass
#portfolio_design_type Udb::PortfolioDesign
portfolio_design_types Udb::PortfolioDesign
#portfolio_grp Udb::ProfileRelease
#portfolio_hash Udb::Architecture
#portfolio_kind Udb::PortfolioDesign
#portfolios Udb::Architecture
#portfolios Udb::PortfolioGroup
#possible_csrs Udb::ConfiguredArchitecture
#possible_extension_versions Udb::ConfiguredArchitecture
#possible_extensions Udb::ConfiguredArchitecture
#possible_fields Udb::Csr
#possible_fields_for Udb::Csr
#possible_instructions Udb::ConfiguredArchitecture
#possible_non_isa_specs Udb::ConfiguredArchitecture
#possible_schemas Udb::Parameter
#possible_xlens Udb::ConfiguredArchitecture
#pre Udb::VersionSpec
#presence Udb::Presence
#presence Udb::PortfolioExtensionRequirement
#presence_obj Udb::Portfolio::ExtraNote
#pretty_name Udb::Instruction::DecodeVariable
#pretty_to_s Udb::Instruction::EncodingField
prime_implicant_covers_mterm? Udb::LogicNode
#priv_isa_manual_revision Udb::ProcCertModel
#priv_mode Udb::Csr
#priv_type Udb::Extension
#prm_name PrmGenerator::Generator
#proc_cert_class Udb::ProcCertModel
#proc_cert_class Udb::ProcCertDesign
#proc_cert_model Udb::ProcCertDesign
proc_crd_type Udb::PortfolioDesign
proc_ctp_type Udb::PortfolioDesign
#processed_wavedrom_desc Udb::Instruction
#processor_config Udb::Prm
#processor_kind Udb::PortfolioClass
#profile_family Udb::ProfileRelease
#profile_family Udb::Profile
#profile_release Udb::Profile
profile_release_type Udb::PortfolioDesign
#profile_releases Udb::ProfileFamily
#profile_releases_matching_processor_kind Udb::ProfileFamily
#profiles Udb::ProfileFamily
#profiles Udb::ProfileRelease
#profiles_mandating_inst Udb::Instruction
#profiles_matching_processor_kind Udb::ProfileFamily
#profiles_optioning_inst Udb::Instruction
#prohibited_ext? Udb::ConfiguredArchitecture
#prohibited_extension_versions Udb::ConfiguredArchitecture
#prohibited_extensions Udb::PartialConfig
#prohibited_instructions Udb::ConfiguredArchitecture
#pruned_operation_ast Udb::Instruction
#pruned_reset_value_ast Udb::CsrField
#pruned_sw_read_ast Udb::Csr
#pruned_sw_write_ast Udb::CsrField
#pruned_type_ast Udb::CsrField
#python_path Udb::Resolver
#r Eqn::Conjunction1
#r Eqn::Disjunction1
#range Udb::CsrField::Alias
#range Udb::InstructionSubtype::Opcode
#range Udb::Instruction::EncodingField
#range Udb::Instruction::Encoding::Field
#rank Udb::LogLevel
#ratification_date Udb::ProfileRelease
#ratification_date Udb::ExtensionVersion
#ratified Udb::Extension
#ratified_versions Udb::Extension
#reachable_exceptions Udb::Instruction
#reachable_exceptions_str Udb::Instruction
#reachable_functions Udb::Csr::MemoizedState
#reachable_functions Udb::Csr
#reachable_functions Udb::ConfiguredArchitecture
#reachable_functions Udb::CsrField::MemoizedState
#reachable_functions Udb::CsrField
#reachable_functions Udb::Extension
#reachable_functions Udb::ExtensionRequirement
#reachable_functions Udb::Instruction::MemoizedState
#reachable_functions Udb::Instruction
#reason Udb::ParameterTerm
#reason Udb::Constraint
#reason Udb::IdlCondition
#reasons Udb::ConfiguredArchitecture::ValidationResult
#recommendations Udb::Portfolio
#reduce Udb::LogicNode
#ref Udb::Architecture
#references Udb::NonIsaSpecification
#register Udb::DummyMultiProgressBar
#relation_to Udb::ParameterTerm
#render_erb Udb::ConfiguredArchitecture
#render_external_chapter Udb::ExternalDocumentationRenderer
#render_external_documentation Udb::ExternalDocumentationRenderer
#render_external_source Udb::ExternalDocumentationRenderer
#render_for_cfg Udb::NonIsaSpecification
#replace_terms Udb::LogicNode
#repo_path= Udb::Manual
#repo_path= Udb::ManualChapter
#repo_path= Udb::ManualVolume
#repo_path= Udb::ManualVersion
repo_root Udb
#req_id Udb::PortfolioExtensionRequirement
#requirement_groups Udb::ProcCertModel
#requirement_spec Udb::ExtensionTerm
#requirement_specs Udb::ExtensionRequirement
#requirement_specs_to_s_pretty Udb::ExtensionRequirement
#requirements Udb::ProcCertModel::RequirementGroup
#requirements_condition Udb::Extension
#requirements_condition Udb::ExtensionVersion
#requirements_condition Udb::ExtensionRequirement
#requirements_condition Udb::Parameter
reset_included_files Udb::ExternalDocumentationRenderer
reset_stats Udb::LogicNode
#reset_value Udb::CsrField
#reset_value_ast Udb::CsrField
#reset_value_pretty Udb::CsrField
resolve PrmGenerator::LinkResolver
#resolve_arch Udb::Resolver
#resolve_config Udb::Resolver
#resolved_spec_path Udb::Resolver::ConfigInfo
#resolved_spec_path Udb::Resolver
#resolved_yaml Udb::Resolver::ConfigInfo
#resolver Udb::Prm
#resolver Udb::Resolver::ConfigInfo
#resolver PrmGenerator::Generator
#result Udb::TopLevelDatabaseObject::SchemaError
#result Udb::TopLevelDatabaseObject::SchemaValidationError
#revision Udb::Portfolio::RevisionHistory
#revision_history Udb::Portfolio
#root Eqn
#root_dir PrmGenerator::Generator
#run Udb::Resolver
#rv32? Udb::Instruction
#rv32_only? Udb::AbstractCondition
#rv64? Udb::Instruction
#rv64_only? Udb::AbstractCondition
sanitize PrmGenerator::ContentSanitizer
#satified_by_any_version? Udb::ExtensionRequirement
#satisfiability_depends_on_ext_req? Udb::LogicNode
#satisfiability_depends_on_ext_req? Udb::AbstractCondition
#satisfiability_depends_on_ext_req? Udb::Condition
#satisfiability_depends_on_ext_req? Udb::AlwaysTrueCondition
#satisfiability_depends_on_ext_req? Udb::AlwaysFalseCondition
#satisfiable? Udb::LogicNode
#satisfiable? Udb::AbstractCondition
#satisfiable? Udb::Condition
#satisfiable? Udb::AlwaysTrueCondition
#satisfiable? Udb::AlwaysFalseCondition
#satisfied_by? Udb::RequirementSpec
#satisfied_by? Udb::ExtensionRequirement
#satisfied_by_cfg_arch Udb::Condition::MemoizedState
#satisfied_by_cfg_arch? Udb::AbstractCondition
#satisfied_by_cfg_arch? Udb::Condition
#satisfied_by_cfg_arch? Udb::AlwaysTrueCondition
#satisfied_by_cfg_arch? Udb::AlwaysFalseCondition
#satisfied_by_ext_req? Udb::AbstractCondition
#satisfied_by_ext_req? Udb::Condition
#satisfied_by_ext_req? Udb::AlwaysTrueCondition
#satisfied_by_ext_req? Udb::AlwaysFalseCondition
#satisfying_versions Udb::ExtensionRequirement
#scalar_relation_to Udb::ParameterTerm
#schema Udb::Parameter::ConditionalSchema
#schema Udb::Parameter
#schema_known? Udb::Parameter
#schema_type Udb::Parameter
#schemas Udb::Parameter
#schemas_path Udb::Resolver
#sections Udb::NonIsaSpecification
set_logger Udb
#sext? Udb::Instruction::DecodeVariable
#single_value? Udb::Schema
#single_value? Udb::Portfolio::InScopeParameter
#size Udb::ParameterTerm
#size Udb::InstructionType
#size Udb::Instruction::EncodingField
#size Udb::Instruction::DecodeVariable
#size Udb::Instruction::Encoding
#size_in_encoding Udb::Instruction::DecodeVariable
#size_term Udb::Z3FiniteArray
#size_term Udb::Z3ParameterTerm
solver Udb::Condition
#solver Udb::Condition
#source_line Udb::CsrField
#source_line Udb::DatabaseObject
#spec Udb::CliCommands::Validate
#spec_data Udb::NonIsaSpecification
#spec_description Udb::NonIsaSpecification
#spec_path Udb::Resolver::ConfigInfo
#spec_path Udb::NonIsaSpecification
#split? Udb::Instruction::DecodeVariable
#state Udb::ManualVersion
#state Udb::ProfileRelease
#state Udb::ExtensionVersion
#std_path Udb::Resolver
subcommand_prefix SubCommandBase
#subset? Udb::ExtensionRequirement
#subtype Udb::Instruction
#superset? Udb::ExtensionRequirement
#sw_read_ast Udb::Csr
#sw_write_ast Udb::CsrField
#symtab Udb::ConfiguredArchitecture
#template_dir PrmGenerator::Generator
#term Udb::Z3ExtensionRequirement
#term Udb::Z3ExtensionVersion
#term Udb::LogicNode::ConditionalEndterm
#term Udb::ExtensionVersion::MemomizedState
#term_map Udb::LogicNode::EqntottResult
#terms Udb::LogicNode::MemoizedState
#terms Udb::LogicNode
#terms_no_antecendents Udb::LogicNode
#test_file_name Udb::CertTestProcedure
#text Udb::Portfolio::ExtraNote
#text Udb::Portfolio::Recommendation
#text Udb::License
#title Udb::ManualChapter
#title Udb::ManualVolume
#to_adoc Udb::DocLink
#to_asciidoc Udb::XlenTerm
#to_asciidoc Udb::ParameterTerm
#to_asciidoc Udb::LogicNode
#to_asciidoc Udb::AbstractCondition
#to_asciidoc Udb::Condition
#to_asciidoc Udb::AlwaysTrueCondition
#to_asciidoc Udb::AlwaysFalseCondition
#to_asciidoc Udb::NonIsaSpecification
#to_cfg_arch Udb::Portfolio
#to_cfg_arch_for_optional Udb::Portfolio
#to_condition Udb::XlenTerm
#to_condition Udb::ExtensionTerm
#to_condition Udb::Extension
#to_condition Udb::ExtensionVersion
#to_condition Udb::ExtensionRequirement
#to_config Udb::Portfolio
#to_dimacs Udb::LogicNode
#to_eqntott Udb::LogicNode
#to_expanded_logic_tree_shallow Udb::Condition
#to_ext_req Udb::ExtensionTerm
#to_ext_req Udb::Extension
to_ext_req Udb::ExtensionVersion
#to_ext_req Udb::ExtensionVersion
#to_ext_ver Udb::ExtensionTerm
#to_ext_ver Udb::ExtensionRequirement
#to_h Udb::XlenTerm
#to_h Udb::ExtensionTerm
#to_h Udb::ParameterTerm
#to_h Udb::FreeTerm
#to_h Udb::LogicNode
#to_h Udb::Schema
#to_h Udb::Constraint
#to_h Udb::AbstractCondition
#to_h Udb::Condition
#to_h Udb::AlwaysTrueCondition
#to_h Udb::AlwaysFalseCondition
#to_h Udb::XlenCondition
#to_h Udb::IdlCondition
#to_h Udb::ExtensionVersion
#to_h Udb::ExtensionRequirement
#to_idl Udb::XlenTerm
#to_idl Udb::ExtensionTerm
#to_idl Udb::ParameterTerm
#to_idl Udb::FreeTerm
#to_idl Udb::LogicNode
#to_idl Udb::AbstractCondition
#to_idl Udb::Condition
#to_idl Udb::AlwaysTrueCondition
#to_idl Udb::AlwaysFalseCondition
#to_idl Udb::XlenCondition
#to_idl Udb::IdlCondition
#to_idl Udb::Parameter
#to_idl_type Udb::Schema
#to_logic_node Udb::ParameterTerm
#to_logic_tree Udb::Eqn::EqnTop
#to_logic_tree Udb::Eqn::EqnName
#to_logic_tree Udb::Eqn::EqnOne
#to_logic_tree Udb::Eqn::EqnZero
#to_logic_tree Udb::Eqn::EmptyEqnParen
#to_logic_tree Udb::Eqn::EqnParen
#to_logic_tree Udb::Eqn::EqnNot
#to_logic_tree Udb::Eqn::EqnAnd
#to_logic_tree Udb::Eqn::EqnOr
#to_logic_tree Udb::Eqn
#to_logic_tree Udb::AbstractCondition
#to_logic_tree Udb::Condition
#to_logic_tree Udb::AlwaysTrueCondition
#to_logic_tree Udb::AlwaysFalseCondition
#to_logic_tree Eqn::Expression1
#to_logic_tree_internal Udb::Constraint
#to_logic_tree_internal Udb::AbstractCondition
#to_logic_tree_internal Udb::Condition
#to_logic_tree_internal Udb::LogicCondition
#to_logic_tree_internal Udb::AlwaysTrueCondition
#to_logic_tree_internal Udb::AlwaysFalseCondition
#to_logic_tree_internal Udb::ParamCondition
#to_logic_tree_internal Udb::ExtensionCondition
#to_logic_tree_internal Udb::XlenCondition
#to_logic_tree_internal Udb::IdlCondition
#to_param_logic_tree_helper Udb::ParamCondition
#to_pretty_s Udb::Schema
#to_rvi_s Udb::VersionSpec
#to_rvi_s Udb::ExtensionVersion
#to_s Udb::XlenTerm
#to_s Udb::ExtensionTerm
#to_s Udb::ParameterTerm
#to_s Udb::FreeTerm
#to_s Udb::LogicNode
#to_s Udb::Presence
#to_s Udb::AbstractCondition
#to_s Udb::Condition
#to_s Udb::AlwaysTrueCondition
#to_s Udb::AlwaysFalseCondition
#to_s Udb::VersionSpec
#to_s Udb::RequirementSpec
#to_s Udb::ExtensionVersion
#to_s Udb::ExtensionRequirement
#to_s Udb::Instruction::Opcode
#to_s Udb::Instruction::Encoding::Field
#to_s Udb::Company
#to_s_concise Udb::Presence
#to_s_pretty Udb::XlenTerm
#to_s_pretty Udb::ExtensionTerm
#to_s_pretty Udb::ParameterTerm
#to_s_pretty Udb::FreeTerm
#to_s_pretty Udb::LogicNode
#to_s_pretty Udb::AbstractCondition
#to_s_pretty Udb::Condition
#to_s_pretty Udb::AlwaysTrueCondition
#to_s_pretty Udb::AlwaysFalseCondition
#to_s_pretty Udb::ExtensionRequirement
#to_s_with_value Udb::LogicNode
#to_s_with_value Udb::AbstractCondition
#to_s_with_value Udb::Condition
#to_s_with_value Udb::AlwaysTrueCondition
#to_s_with_value Udb::AlwaysFalseCondition
#to_term Udb::ExtensionVersion
#to_term Udb::ExtensionRequirement
#to_udb_h Idl::AstNode
#to_udb_h Idl::ImplicationExpressionAst
#to_udb_h Idl::ParenExpressionAst
#to_udb_h Idl::ImplicationStatementAst
#to_udb_h Idl::ConstraintBodyAst
#to_udb_h Idl::TrueExpressionAst
#to_udb_h Idl::FalseExpressionAst
#to_udb_h Idl::IdAst
#to_udb_h Idl::ForLoopAst
#to_udb_h Idl::AryElementAccessAst
#to_udb_h Idl::UnaryOperatorExpressionAst
#to_udb_h Idl::ArrayIncludesAst
#to_udb_h Idl::FunctionCallExpressionAst
#to_udb_h Idl::BinaryExpressionAst
#to_yaml Udb::Constraint
#to_yaml Udb::AbstractCondition
#to_z3 Udb::XlenTerm
#to_z3 Udb::ExtensionTerm
#to_z3 Udb::ParameterTerm
#to_z3 Udb::LogicNode
top_level_progressbar Udb
#transitive_implemented_csrs Udb::ConfiguredArchitecture
#transitive_implemented_extension_versions Udb::ConfiguredArchitecture
#transitive_implemented_instructions Udb::ConfiguredArchitecture
#transitive_implemented_non_isa_specs Udb::ConfiguredArchitecture
#transitive_prohibited_instructions Udb::ConfiguredArchitecture
#tsc_profile_release Udb::ProcCertModel
#tseytin Udb::LogicNode
#tseytin_prop Udb::LogicNode
#type Udb::LogicNode
#type Udb::AbstractConfig
#type Udb::CsrField
#type Udb::InstructionSubtype
#type Udb::Instruction
#type_ast Udb::CsrField
#type_check Udb::ConfiguredArchitecture
#type_checked_operation_ast Udb::Instruction
#type_checked_reset_value_ast Udb::CsrField
#type_checked_sw_read_ast Udb::Csr
#type_checked_sw_write_ast Udb::CsrField
#type_checked_type_ast Udb::CsrField
#type_desc Udb::CsrField
#type_pretty Udb::Schema
#type_pretty Udb::CsrField
#unary_expression Eqn::Conjunction0
#unconditional_expanded_ext_conflicts Udb::ExtensionVersion::MemomizedState
#unconditional_expanded_ext_reqs Udb::ExtensionVersion::MemomizedState
#unconditional_extension_conflicts Udb::ExtensionVersion
#unconditional_extension_conflicts Udb::Instruction
#unconditional_extension_requirements Udb::ExtensionVersion
#unconditional_extension_requirements Udb::Instruction
#unconditional_extension_version_conflicts Udb::ExtensionVersion
#unconditional_unexpanded_ext_conflicts Udb::ExtensionVersion::MemomizedState
#unconditional_unexpanded_ext_reqs Udb::ExtensionVersion::MemomizedState
#unconfigured? Udb::AbstractConfig
#unconfigured? Udb::UnConfig
#unconfigured? Udb::PartialConfig
#unconfigured? Udb::FullConfig
#unconfigured? Udb::ConfiguredArchitecture
#unconfigured? Udb::PortfolioDesign
#unexpanded_ext_conflicts Udb::ExtensionVersion::MemomizedState
#unexpanded_ext_requirements Udb::ExtensionVersion::MemomizedState
#unpriv_isa_manual_revision Udb::ProcCertModel
#unresolved_yaml Udb::Resolver::ConfigInfo
#unsatisfiable? Udb::LogicNode
#unsatisfiable? Udb::AbstractCondition
#unsatisfiable? Udb::Condition
#unsatisfiable? Udb::AlwaysTrueCondition
#unsatisfiable? Udb::AlwaysFalseCondition
#url Udb::ExtensionVersion
#url Udb::Company
#url Udb::License
#uses_isa_manual? Udb::ManualVersion
#uses_optional_types? Udb::Portfolio
#valid Udb::ConfiguredArchitecture::ValidationResult
#valid? Udb::ConfiguredArchitecture
#valid? Udb::ExtensionVersion
#valid? Udb::ExtensionRequirement
#valid? Udb::NonIsaSpecification
#validate Udb::Schema
#validate Udb::Architecture
#validate Udb::Instruction
#validate Udb::TopLevelDatabaseObject
#validate Udb::ExceptionCode
#validate Udb::InterruptCode
validate_encoding Udb::Instruction
#validate_prose_ids Udb::NonIsaSpecification
#value Udb::Schema
#value Udb::Csr
#value Udb::Parameter
#value Udb::ParameterWithValue
#value Udb::Portfolio::InScopeParameter
#value Udb::Instruction::Opcode
#value_known? Udb::Parameter
#value_known? Udb::ParameterWithValue
#var Udb::Code
#variables Udb::InstructionSubtype
#version Udb::Cli
#version Udb::ExtensionTerm
version Udb
#version Udb::Manual
#version Udb::ManualVolume
#version Udb::ManualVersion
#version Udb::Portfolio
#version Udb::NonIsaSpecification
#version_greatest_presence Udb::Portfolio
#version_spec Udb::RequirementSpec
#version_spec Udb::ExtensionVersion
#version_specific_requirements_condition Udb::ExtensionVersion
#version_str Udb::ExtensionVersion
#versions Udb::Manual
#versions Udb::Extension
#virtual_address Udb::Csr
#volumes Udb::ManualVersion
#wavedrom_desc Udb::Csr
#wavedrom_desc Udb::Instruction
#when Udb::ProcCertModel::Requirement
#when Udb::ProcCertModel::RequirementGroup
#when_pretty Udb::ProcCertModel::Requirement
#when_pretty Udb::ProcCertModel::RequirementGroup
#width Udb::CsrField
#writable Udb::Csr
#xlen Udb::Z3Solver
#xlen Udb::XlenTerm
#| Udb::AbstractCondition
#| Udb::Condition
#| Udb::AlwaysTrueCondition
#| Udb::AlwaysFalseCondition