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
)