Skip to index filter Skip to main content
dftlibdftlib
  • Installation
  • API
  • DFT Visualization
Search the documentation

dftlib

  • Installation
  • API
  • DFT Visualization

  • dftlib

  • Change appearance
    • Change appearance
    • Light
    • Dark
    • Automatic
  Index
Index

Contents:

  • Installation

Modules:

  • dftlib
    • dftlib.analysis
      • dftlib.analysis.smt
        • dftlib.analysis.smt.SMTAnalysis
    • dftlib.exceptions
      • dftlib.exceptions.exceptions
        • dftlib.exceptions.exceptions.DftInvalidArgumentException
        • dftlib.exceptions.exceptions.DftTypeNotKnownException
        • dftlib.exceptions.exceptions.DftTypeNotSupportedException
        • dftlib.exceptions.exceptions.ToolError
        • dftlib.exceptions.exceptions.ToolNotFound
    • dftlib.io
      • dftlib.io.export_galileo
        • dftlib.io.export_galileo.export_be_string
        • dftlib.io.export_galileo.export_dft_file
        • dftlib.io.export_galileo.export_gate_string
        • dftlib.io.export_galileo.galileo_name
      • dftlib.io.export_json
        • dftlib.io.export_json.export_dft_file
        • dftlib.io.export_json.export_dft_string
      • dftlib.io.export_txt
        • dftlib.io.export_txt.export_dft_file
        • dftlib.io.export_txt.export_dft_string
      • dftlib.io.formats
        • dftlib.io.formats.get_file_extension
        • dftlib.io.formats.is_galileo_file
        • dftlib.io.formats.is_json_file
        • dftlib.io.formats.is_text_file
        • dftlib.io.formats.DftFormats
      • dftlib.io.latex
        • dftlib.io.latex.generate_tikz
        • dftlib.io.latex.generate_tikz_edges
        • dftlib.io.latex.generate_tikz_node
      • dftlib.io.parser
        • dftlib.io.parser.parse_dft_file
        • dftlib.io.parser.parse_dft_galileo_file
        • dftlib.io.parser.parse_dft_json
        • dftlib.io.parser.parse_dft_json_file
        • dftlib.io.parser.parse_dft_json_string
        • dftlib.io.parser.parse_dft_txt_file
        • dftlib.io.parser.parse_dft_txt_string
    • dftlib.storage
      • dftlib.storage.dft
        • dftlib.storage.dft.Dft
      • dftlib.storage.dft_be
        • dftlib.storage.dft_be.create_from_json
        • dftlib.storage.dft_be.BeConstant
        • dftlib.storage.dft_be.BeErlang
        • dftlib.storage.dft_be.BeExponential
        • dftlib.storage.dft_be.BeLognormal
        • dftlib.storage.dft_be.BeProbability
        • dftlib.storage.dft_be.BeWeibull
        • dftlib.storage.dft_be.DftBe
      • dftlib.storage.dft_element
        • dftlib.storage.dft_element.DftElement
      • dftlib.storage.dft_gates
        • dftlib.storage.dft_gates.create_from_json
        • dftlib.storage.dft_gates.DftAnd
        • dftlib.storage.dft_gates.DftDependency
        • dftlib.storage.dft_gates.DftGate
        • dftlib.storage.dft_gates.DftMutex
        • dftlib.storage.dft_gates.DftOr
        • dftlib.storage.dft_gates.DftPand
        • dftlib.storage.dft_gates.DftPor
        • dftlib.storage.dft_gates.DftPriorityGate
        • dftlib.storage.dft_gates.DftSeq
        • dftlib.storage.dft_gates.DftSpare
        • dftlib.storage.dft_gates.DftVotingGate
    • dftlib.tools
      • dftlib.tools.storm
        • dftlib.tools.storm.Storm
        • dftlib.tools.storm.requires_storm
      • dftlib.tools.stormpy
        • dftlib.tools.stormpy.convert_to_json
        • dftlib.tools.stormpy.get_stormpy_dft
        • dftlib.tools.stormpy.requires_stormpy
      • dftlib.tools.z3
        • dftlib.tools.z3.Z3
        • dftlib.tools.z3.requires_z3
    • dftlib.transformer
      • dftlib.transformer.anonymizer
        • dftlib.transformer.anonymizer.make_anonymous
      • dftlib.transformer.rewrite_rules
        • dftlib.transformer.rewrite_rules.add_or_as_predecessor
        • dftlib.transformer.rewrite_rules.check_dynamic_predecessor
        • dftlib.transformer.rewrite_rules.check_for_cycle
        • dftlib.transformer.rewrite_rules.has_immediate_failure
        • dftlib.transformer.rewrite_rules.try_factor_common_cause
        • dftlib.transformer.rewrite_rules.try_flatten_gate
        • dftlib.transformer.rewrite_rules.try_merge_bes_in_or
        • dftlib.transformer.rewrite_rules.try_merge_identical_gates
        • dftlib.transformer.rewrite_rules.try_remove_dependencies
        • dftlib.transformer.rewrite_rules.try_remove_duplicates
        • dftlib.transformer.rewrite_rules.try_remove_fdep_successors
        • dftlib.transformer.rewrite_rules.try_remove_gates_with_one_successor
        • dftlib.transformer.rewrite_rules.try_remove_superfluous_fdep
        • dftlib.transformer.rewrite_rules.try_replace_fdep_by_or
        • dftlib.transformer.rewrite_rules.try_split_fdep
        • dftlib.transformer.rewrite_rules.try_subsumption
        • dftlib.transformer.rewrite_rules.RewriteRules
      • dftlib.transformer.simplifier
        • dftlib.transformer.simplifier.apply_rules
        • dftlib.transformer.simplifier.simplify_dft_all_rules
        • dftlib.transformer.simplifier.simplify_dft_default_rules
        • dftlib.transformer.simplifier.simplify_dft_rules
      • dftlib.transformer.trimming
        • dftlib.transformer.trimming.trim
    • dftlib.utility
      • dftlib.utility.numbers
        • dftlib.utility.numbers.is_one
        • dftlib.utility.numbers.is_zero
        • dftlib.utility.numbers.parse_number
      • dftlib.utility.os_functions
        • dftlib.utility.os_functions.run_tool
  1. Start
  2. dftlib
  3. dftlib.exceptions
  4. dftlib.exceptions.exceptions

dftlib.exceptions.exceptionsΒΆ

Exceptions

DftInvalidArgumentException

Exception when the argument in a DFT is invalid.

DftTypeNotKnownException

Exception when the type of the DFT element is not known.

DftTypeNotSupportedException

Exception when the type of the DFT element is not supported.

ToolError

Exception when running the tool lead to an error.

ToolNotFound

Exception when the required tool was not found.

  • Previous dftlib.exceptions
  • Next dftlib.exceptions.exceptions.DftInvalidArgumentException
  • Documentation
  • Package
  • Repository
  • Issues
dftlib
  • 2018 - 2025 Matthias Volk
Built with Sphinx 8.2.3 and Nefertiti 0.8.5