Explanation (indra.explanation)
- Check whether a model satisfies a property (
indra.explanation.model_checker)- Shared Model Checking Functionality (
indra.explanation.model_checker.model_checker) - Checking PySB model (
indra.explanation.model_checker.pysb) - Checking Signed Graph (
indra.explanation.model_checker.signed_graph) - Checking Unsigned Graph (
indra.explanation.model_checker.unsigned_graph) - Checking PyBEL Graph (
indra.explanation.model_checker.pybel)
- Shared Model Checking Functionality (
- Path finding algorithms for explanation (
indra.explanation.pathfinding) - Reporting explanations (
indra.explanation.reporting)