Module fr.lirmm.integraal.rule_analysis

module fr.lirmm.integraal.rule_analysis

Rule analysis and legacy Graal interoperability module.

Packages

Exports

Package	Description
fr.lirmm.graphik.integraal.api.core
fr.lirmm.graphik.integraal.api.factory
fr.lirmm.graphik.integraal.core	This package contains the main classes of GRAAL.
fr.lirmm.graphik.integraal.core.atomset
fr.lirmm.graphik.integraal.core.factory
fr.lirmm.graphik.integraal.core.ruleset
fr.lirmm.graphik.integraal.core.term
fr.lirmm.graphik.integraal.core.unifier.checker
fr.lirmm.graphik.integraal.rulesetanalyser
fr.lirmm.graphik.integraal.rulesetanalyser.property
fr.lirmm.graphik.integraal.rulesetanalyser.util
fr.lirmm.graphik.util.graph.scc
fr.lirmm.graphik.util.stream