jar

fr.lirmm.graphik : integraal-graal-ruleset-analysis

Maven & Gradle

Nov 10, 2023

InteGraal Rule Analysis · Rule base analysis for InteGraal. This is imported from Graal

Table Of Contents

Latest Version

Download fr.lirmm.graphik : integraal-graal-ruleset-analysis JAR file - Latest Versions:

All Versions

Download fr.lirmm.graphik : integraal-graal-ruleset-analysis JAR file - All Versions:

Version Vulnerabilities Size Updated
1.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window integraal-graal-ruleset-analysis-1.0.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

fr.lirmm.graphik.integraal.core.factory

├─ fr.lirmm.graphik.integraal.core.factory.DefaultAtomFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.factory.DefaultAtomSetFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.factory.DefaultConjunctiveQueryFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.factory.DefaultPredicateFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.factory.DefaultRuleFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.factory.DefaultStoreFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.factory.DefaultSubstitutionFactory.class - [JAR]

fr.lirmm.graphik.integraal.core.unifier.checker

├─ fr.lirmm.graphik.integraal.core.unifier.checker.AtomErasingChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.checker.ProductivityChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.checker.RestrictedProductivityChecker.class - [JAR]

fr.lirmm.graphik.integraal.core.ruleset

├─ fr.lirmm.graphik.integraal.core.ruleset.AbstractRuleSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.ruleset.DefaultOntology.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.ruleset.IndexedByBodyPredicatesRuleSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.ruleset.IndexedByHeadPredicatesRuleSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.ruleset.LinkedListRuleSet.class - [JAR]

fr.lirmm.graphik.integraal.forward_chaining.rule_applier

├─ fr.lirmm.graphik.integraal.forward_chaining.rule_applier.AbstractRuleApplier.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.rule_applier.DefaultRuleApplier.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.rule_applier.DefaultRuleApplierWithCompilation.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.rule_applier.ExhaustiveRuleApplier.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.rule_applier.RestrictedChaseRuleApplier.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.rule_applier.RuleApplierIterator.class - [JAR]

fr.lirmm.graphik.integraal.homomorphism.scheduler

├─ fr.lirmm.graphik.integraal.homomorphism.scheduler.AbstractScheduler.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.scheduler.ComparableOrderScheduler.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.scheduler.DefaultScheduler.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.scheduler.FixedOrderScheduler.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.scheduler.Scheduler.class - [JAR]

fr.lirmm.graphik.integraal.homomorphism.backjumping

├─ fr.lirmm.graphik.integraal.homomorphism.backjumping.BackJumping.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.backjumping.GraphBaseBackJumping.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.backjumping.NoBackJumping.class - [JAR]

fr.lirmm.graphik.integraal.core.mapper

├─ fr.lirmm.graphik.integraal.core.mapper.AbstractMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.HashMapMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.IdentityMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.InverseAtomMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.InverseMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.MappedRuleSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.MappedStore.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.MapperAtomConverter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.MapperPredicateConverter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.MapperRuleConverter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.PrefixMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.mapper.RDFTypeMapper.class - [JAR]

fr.lirmm.graphik.integraal.forward_chaining.halting_condition

├─ fr.lirmm.graphik.integraal.forward_chaining.halting_condition.FrontierRestrictedChaseHaltingCondition.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.halting_condition.HaltingConditionWithHandler.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.halting_condition.RestrictedChaseHaltingCondition.class - [JAR]

fr.lirmm.graphik.integraal.api.homomorphism

├─ fr.lirmm.graphik.integraal.api.homomorphism.AbstractChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.ExistentialHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.ExistentialHomomorphismChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.ExistentialHomomorphismPattern.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.ExistentialHomomorphismWithCompilation.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.Homomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.HomomorphismChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.HomomorphismException.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.HomomorphismFactoryException.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.HomomorphismPattern.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.HomomorphismWithCompilation.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.PreparedExistentialHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.homomorphism.PreparedHomomorphism.class - [JAR]

fr.lirmm.graphik.integraal.core.stream

├─ fr.lirmm.graphik.integraal.core.stream.ConjunctiveQuery2EffCQJavaIterator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.stream.EffCQ2ConjunctiveQueryJavaIterator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.stream.SubstitutionIterator2AtomIterator.class - [JAR]

fr.lirmm.graphik.util.stream.filter

├─ fr.lirmm.graphik.util.stream.filter.AndFilter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.filter.FalseFilter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.filter.Filter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.filter.FilterCloseableIterator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.filter.FilterIterator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.filter.FilterIteratorWithoutException.class - [JAR]

├─ fr.lirmm.graphik.util.stream.filter.Filters.class - [JAR]

├─ fr.lirmm.graphik.util.stream.filter.OrFilter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.filter.TrueFilter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.filter.UniqFilter.class - [JAR]

fr.lirmm.graphik.integraal.api.core.unifier

├─ fr.lirmm.graphik.integraal.api.core.unifier.AbstractUnifierChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.unifier.DependencyChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.unifier.UnifierAlgorithm.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.unifier.UnifierChecker.class - [JAR]

fr.lirmm.graphik.util.stream.transformator

├─ fr.lirmm.graphik.util.stream.transformator.Transformator.class - [JAR]

fr.lirmm.graphik.integraal.core.term

├─ fr.lirmm.graphik.integraal.core.term.DefaultConstant.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.term.DefaultLiteral.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.term.DefaultTermFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.term.DefaultVariable.class - [JAR]

fr.lirmm.graphik.integraal.forward_chaining

├─ fr.lirmm.graphik.integraal.forward_chaining.BasicChase.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.BreadthFirstChase.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.ChaseWithGRD.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.ChaseWithGRDAndUnfiers.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.SccChase.class - [JAR]

├─ fr.lirmm.graphik.integraal.forward_chaining.StaticChase.class - [JAR]

fr.lirmm.graphik.integraal.homomorphism.utils

├─ fr.lirmm.graphik.integraal.homomorphism.utils.BacktrackUtils.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.utils.EqualityHandlerConverter.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.utils.EqualityUtils.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.utils.HomomorphismIteratorChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.utils.ProbaUtils.class - [JAR]

fr.lirmm.graphik.integraal.rulesetanalyser

├─ fr.lirmm.graphik.integraal.rulesetanalyser.Analyser.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.RuleSetPropertyHierarchy.class - [JAR]

fr.lirmm.graphik.integraal.api.core

├─ fr.lirmm.graphik.integraal.api.core.AbstractAtom.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.AbstractTerm.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Atom.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.AtomSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.AtomSetException.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.ConjunctiveQuery.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.ConjunctiveQueryWithNegatedParts.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Constant.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.ConstantGenerator.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.EffectiveConjunctiveQuery.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.EffectiveQuery.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.FreshVarMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.GraphOfRuleDependencies.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.ImmutableRuleSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.InMemoryAtomSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.InMemoryKnowledgeBase.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Literal.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.NegativeConstraint.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Ontology.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Predicate.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Query.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.QueryLabeler.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Rule.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.RuleLabeler.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.RuleSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.RuleSetException.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.RulesCompilation.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Substitution.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Term.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.TermGenerator.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.UnionOfConjunctiveQueries.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.UnsupportedAtomTypeException.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.Variable.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.VariableGenerator.class - [JAR]

fr.lirmm.graphik.integraal.api.forward_chaining

├─ fr.lirmm.graphik.integraal.api.forward_chaining.AbstractChase.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.forward_chaining.AbstractDirectChase.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.forward_chaining.Chase.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.forward_chaining.ChaseException.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.forward_chaining.ChaseHaltingCondition.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.forward_chaining.DirectRuleApplier.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.forward_chaining.RuleApplicationException.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.forward_chaining.RuleApplicationHandler.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.forward_chaining.RuleApplicationHandlerException.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.forward_chaining.RuleApplier.class - [JAR]

fr.lirmm.graphik.integraal.core.atomset.gaifman_graph

├─ fr.lirmm.graphik.integraal.core.atomset.gaifman_graph.Edge.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.gaifman_graph.GaifmanGraph.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.gaifman_graph.VariablesGaifmanGraph.class - [JAR]

fr.lirmm.graphik.util.stream.converter

├─ fr.lirmm.graphik.util.stream.converter.ConversionException.class - [JAR]

├─ fr.lirmm.graphik.util.stream.converter.Converter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.converter.ConverterCloseableIterator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.converter.ConverterIterator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.converter.ConverterIteratorWithoutException.class - [JAR]

fr.lirmm.graphik.integraal.api.atomset_core_processor

├─ fr.lirmm.graphik.integraal.api.atomset_core_processor.AtomSetCoreProcessor.class - [JAR]

fr.lirmm.graphik.integraal.homomorphism.forward_checking

├─ fr.lirmm.graphik.integraal.homomorphism.forward_checking.AbstractNFC.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.forward_checking.ForwardChecking.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.forward_checking.NFC0.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.forward_checking.NFC2.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.forward_checking.NFC2WithLimit.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.forward_checking.NoForwardChecking.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.forward_checking.SimpleFC.class - [JAR]

fr.lirmm.graphik.util.graph

├─ fr.lirmm.graphik.util.graph.DefaultDirectedEdge.class - [JAR]

├─ fr.lirmm.graphik.util.graph.DefaultDirectedGraph.class - [JAR]

├─ fr.lirmm.graphik.util.graph.DefaultEdge.class - [JAR]

├─ fr.lirmm.graphik.util.graph.DefaultGraph.class - [JAR]

├─ fr.lirmm.graphik.util.graph.DefaultHyperEdge.class - [JAR]

├─ fr.lirmm.graphik.util.graph.DefaultHyperGraph.class - [JAR]

├─ fr.lirmm.graphik.util.graph.DirectedEdge.class - [JAR]

├─ fr.lirmm.graphik.util.graph.DirectedGraph.class - [JAR]

├─ fr.lirmm.graphik.util.graph.Edge.class - [JAR]

├─ fr.lirmm.graphik.util.graph.Graph.class - [JAR]

├─ fr.lirmm.graphik.util.graph.HyperEdge.class - [JAR]

├─ fr.lirmm.graphik.util.graph.HyperGraph.class - [JAR]

fr.lirmm.graphik.integraal.core.filter

├─ fr.lirmm.graphik.integraal.core.filter.ConstantFilter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.filter.LiteralFilter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.filter.VariableFilter.class - [JAR]

fr.lirmm.graphik.integraal.api.backward_chaining

├─ fr.lirmm.graphik.integraal.api.backward_chaining.QueryRewriter.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.backward_chaining.QueryRewriterWithCompilation.class - [JAR]

fr.lirmm.graphik.integraal.api.kb

├─ fr.lirmm.graphik.integraal.api.kb.Approach.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.kb.KnowledgeBase.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.kb.KnowledgeBaseException.class - [JAR]

fr.lirmm.graphik.integraal

├─ fr.lirmm.graphik.integraal.GraalConstant.class - [JAR]

fr.lirmm.graphik.integraal.api.store

├─ fr.lirmm.graphik.integraal.api.store.BatchProcessor.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.store.Store.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.store.TripleStore.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.store.WrongArityException.class - [JAR]

fr.lirmm.graphik.integraal.core.unifier

├─ fr.lirmm.graphik.integraal.core.unifier.AtomicAtomSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.AtomicHeadRule.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.DefaultUnifierAlgorithm.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.QueryUnifier.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.RuleDependencyUtils.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.TermPartitionUtils.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.Unifier.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.UnifierIterator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.unifier.UnifierUtils.class - [JAR]

fr.lirmm.graphik.integraal.api.core.mapper

├─ fr.lirmm.graphik.integraal.api.core.mapper.AtomMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.mapper.Mapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.mapper.MutableMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.mapper.PredicateMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.core.mapper.TermMapper.class - [JAR]

fr.lirmm.graphik.integraal.homomorphism

├─ fr.lirmm.graphik.integraal.homomorphism.AbstractHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.AbstractHomomorphismWithCompilation.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.Atom2SubstitutionConverter.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.AtomicQueryHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.AtomicQueryHomomorphismWithNegatedParts.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.BacktrackException.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.BacktrackHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.BacktrackHomomorphismPattern.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.BacktrackHomomorphismWithNegatedParts.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.BacktrackIterator.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.BacktrackIteratorData.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.DefaultUCQHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.FullyInstantiatedQueryHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.NegFilter.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.PreparedBacktrackHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.PureHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.PureHomomorphismImpl.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.SmartHomomorphism.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.UnionConjunctiveQueriesSubstitutionIterator.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.Var.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.VarSharedData.class - [JAR]

fr.lirmm.graphik.integraal.core.stream.filter

├─ fr.lirmm.graphik.integraal.core.stream.filter.AtomFilter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.stream.filter.AtomFilterIterator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.stream.filter.ConjunctiveQueryFilter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.stream.filter.ConjunctiveQueryFilterIterator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.stream.filter.NegativeConstraintFilter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.stream.filter.NegativeConstraintFilterIterator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.stream.filter.RuleFilter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.stream.filter.RuleFilterIterator.class - [JAR]

fr.lirmm.graphik.util.collections

├─ fr.lirmm.graphik.util.collections.ListComparator.class - [JAR]

├─ fr.lirmm.graphik.util.collections.Trie.class - [JAR]

├─ fr.lirmm.graphik.util.collections.TrieNode.class - [JAR]

fr.lirmm.graphik.integraal.core.store

├─ fr.lirmm.graphik.integraal.core.store.AbstractStore.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.store.AbstractTripleStore.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.store.DefaultBatchProcessor.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.store.GraphDBStore.class - [JAR]

fr.lirmm.graphik.util.profiler

├─ fr.lirmm.graphik.util.profiler.AbstractProfilable.class - [JAR]

├─ fr.lirmm.graphik.util.profiler.AbstractProfiler.class - [JAR]

├─ fr.lirmm.graphik.util.profiler.CPUTimeProfiler.class - [JAR]

├─ fr.lirmm.graphik.util.profiler.NoProfiler.class - [JAR]

├─ fr.lirmm.graphik.util.profiler.Profilable.class - [JAR]

├─ fr.lirmm.graphik.util.profiler.Profiler.class - [JAR]

├─ fr.lirmm.graphik.util.profiler.RealTimeProfiler.class - [JAR]

fr.lirmm.graphik.integraal.homomorphism.bbc

├─ fr.lirmm.graphik.integraal.homomorphism.bbc.BCC.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.bbc.BCCBackJumping.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.bbc.BCCScheduler.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.bbc.IntegerComparator.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.bbc.VarData.class - [JAR]

fr.lirmm.graphik.integraal.homomorphism.checker

├─ fr.lirmm.graphik.integraal.homomorphism.checker.AtomicQueryHomomorphismChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.checker.AtomicQueryHomomorphismWithNegatedPartsChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.checker.BacktrackChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.checker.BacktrackWithNegatedPartsChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.checker.DefaultUnionConjunctiveQueriesChecker.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.checker.FullyInstantiatedQueryHomomorphismChecker.class - [JAR]

fr.lirmm.graphik.integraal.rulesetanalyser.graph

├─ fr.lirmm.graphik.integraal.rulesetanalyser.graph.AbstractAffectedPositionSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.graph.AffectedPositionSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.graph.GraphPositionDependencies.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.graph.JointlyAffectedPositionSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.graph.MarkedVariableSet.class - [JAR]

fr.lirmm.graphik.integraal.homomorphism.bootstrapper

├─ fr.lirmm.graphik.integraal.homomorphism.bootstrapper.AllDomainBootstrapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.bootstrapper.Bootstrapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.bootstrapper.BootstrapperUtils.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.bootstrapper.DefaultBootstrapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.bootstrapper.StarBootstrapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.homomorphism.bootstrapper.StatBootstrapper.class - [JAR]

fr.lirmm.graphik.integraal.core.atomset

├─ fr.lirmm.graphik.integraal.core.atomset.AbstractAtomSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.AbstractImmutableAtomSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.AbstractInMemoryAtomSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.AtomSetUtils.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.DefaultInMemoryAtomSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.LinkedListAtomSet.class - [JAR]

fr.lirmm.graphik.util.string

├─ fr.lirmm.graphik.util.string.AppendableToStringBuilder.class - [JAR]

├─ fr.lirmm.graphik.util.string.NumberStringComparator.class - [JAR]

├─ fr.lirmm.graphik.util.string.StringUtils.class - [JAR]

fr.lirmm.graphik.integraal.api.util

├─ fr.lirmm.graphik.integraal.api.util.TimeoutException.class - [JAR]

fr.lirmm.graphik.integraal.core.compilation

├─ fr.lirmm.graphik.integraal.core.compilation.AbstractRulesCompilation.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.compilation.HierarchicalCompilation.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.compilation.IDCompilation.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.compilation.IDCondition.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.compilation.IDConditionImpl.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.compilation.NoCompilation.class - [JAR]

fr.lirmm.graphik.integraal.rulesetanalyser.property

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.AGRDProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.BTSProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.DisconnectedProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.DomainRestrictedProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.FESProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.FUSProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.FrontierGuardedProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.FrontierOneProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.GBTSProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.GuardedProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.JointlyFrontierGuardedSetProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.LinearProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.MFAProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.MSAProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.RangeRestrictedProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.RuleSetProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.StickyProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.WeaklyAcyclicProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.WeaklyFrontierGuardedSetProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.WeaklyGuardedSetProperty.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.property.WeaklyStickyProperty.class - [JAR]

fr.lirmm.graphik.integraal.api.factory

├─ fr.lirmm.graphik.integraal.api.factory.AtomFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.factory.ConjunctiveQueryFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.factory.InMemoryAtomSetFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.factory.PredicateFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.factory.RuleFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.factory.StoreFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.factory.SubstitutionFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.factory.TermFactory.class - [JAR]

fr.lirmm.graphik.integraal.core.atomset.splitter

├─ fr.lirmm.graphik.integraal.core.atomset.splitter.AtomSetSplitter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.splitter.PiecesSplitter.class - [JAR]

fr.lirmm.graphik.integraal.api.io

├─ fr.lirmm.graphik.integraal.api.io.AbstractGraalWriter.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.AbstractWriter.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.AtomSetWriter.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.AtomWriter.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.ConjunctiveQueryParser.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.ConjunctiveQueryWriter.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.GraalWriter.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.NegativeConstraintWriter.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.ParseError.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.ParseException.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.Parser.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.RuleWriter.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.Writer.class - [JAR]

├─ fr.lirmm.graphik.integraal.api.io.WriterException.class - [JAR]

fr.lirmm.graphik.integraal.core.grd

├─ fr.lirmm.graphik.integraal.core.grd.DefaultGraphOfRuleDependencies.class - [JAR]

fr.lirmm.graphik.util.graph.algorithm

├─ fr.lirmm.graphik.util.graph.algorithm.BiconnectedComponents.class - [JAR]

├─ fr.lirmm.graphik.util.graph.algorithm.BiconnectedComponentsForHyperGraph.class - [JAR]

fr.lirmm.graphik.util.stream

├─ fr.lirmm.graphik.util.stream.AbstractCloseableIterator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.ArrayBlockingQueueToCloseableIteratorAdapter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.ArrayBlockingStream.class - [JAR]

├─ fr.lirmm.graphik.util.stream.ArrayCloseableIterator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIterable.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIterableAdapter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIterableWithoutException.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIterator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIteratorAccumulator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIteratorAdapter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIteratorAggregator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIteratorAggregatorWithoutException.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIteratorRecursive.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CloseableIteratorWithoutException.class - [JAR]

├─ fr.lirmm.graphik.util.stream.CounterIterator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.EmptyCloseableIteratorWithoutException.class - [JAR]

├─ fr.lirmm.graphik.util.stream.InMemoryStream.class - [JAR]

├─ fr.lirmm.graphik.util.stream.IterableAdapter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.IteratorAdapter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.IteratorException.class - [JAR]

├─ fr.lirmm.graphik.util.stream.Iterators.class - [JAR]

├─ fr.lirmm.graphik.util.stream.LinkedBlockingStream.class - [JAR]

├─ fr.lirmm.graphik.util.stream.QueueStream.class - [JAR]

├─ fr.lirmm.graphik.util.stream.SingletonCloseableIteratorWithoutException.class - [JAR]

├─ fr.lirmm.graphik.util.stream.Stream.class - [JAR]

├─ fr.lirmm.graphik.util.stream.StreamAdapter.class - [JAR]

├─ fr.lirmm.graphik.util.stream.ThrowingFunction.class - [JAR]

├─ fr.lirmm.graphik.util.stream.UniqIterator.class - [JAR]

├─ fr.lirmm.graphik.util.stream.Writer.class - [JAR]

fr.lirmm.graphik.integraal.core

├─ fr.lirmm.graphik.integraal.core.AbstractMapBasedSubstitution.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.AbstractRule.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.AbstractSubstitution.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.AtomType.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.ConjunctiveQueryRuleAdapter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultAtom.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultConjunctiveQuery.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultConjunctiveQueryWithNegatedParts.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultConstantGenerator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultEffectiveConjunctiveQuery.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultEffectiveQuery.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultFreshVarMapper.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultNegativeConstraint.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultQueryLabeler.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultRule.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultRuleLabeler.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultUnionOfConjunctiveQueries.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.DefaultVariableGenerator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.EmptySubstitution.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.FreshVarSubstitution.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.HashMapSubstitution.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.LabelRuleComparator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.RuleWrapper2ConjunctiveQueryWithNegatedParts.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.Rules.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.StoredVariableGenerator.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.Substitutions.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.TreeMapSubstitution.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.TypeFilter.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.VariablePrefixSubstitution.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.VariableRemovePrefixSubstitution.class - [JAR]

fr.lirmm.graphik.integraal.core.atomset.graph

├─ fr.lirmm.graphik.integraal.core.atomset.graph.AbstractTermVertex.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.AtomEdge.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.AtomEdgeFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.ConstantVertex.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.CurrentIndexFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.DefaultInMemoryGraphStore.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.DefaultInMemoryGraphStoreFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.Edge.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.HashIndexFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.IndexFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.LiteralVertex.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.PredicateVertex.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.SimpleInMemoryGraphStore.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.TermVertex.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.TermVertexFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.TreeIndexFactory.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.VariableVertex.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.Vertex.class - [JAR]

├─ fr.lirmm.graphik.integraal.core.atomset.graph.VertexComparator.class - [JAR]

fr.lirmm.graphik.util.graph.scc

├─ fr.lirmm.graphik.util.graph.scc.StronglyConnectedComponentsGraph.class - [JAR]

fr.lirmm.graphik.util

├─ fr.lirmm.graphik.util.Apps.class - [JAR]

├─ fr.lirmm.graphik.util.ArrayIterator.class - [JAR]

├─ fr.lirmm.graphik.util.DefaultURI.class - [JAR]

├─ fr.lirmm.graphik.util.EquivalentRelation.class - [JAR]

├─ fr.lirmm.graphik.util.LinkedSet.class - [JAR]

├─ fr.lirmm.graphik.util.MathUtils.class - [JAR]

├─ fr.lirmm.graphik.util.MethodNotImplementedError.class - [JAR]

├─ fr.lirmm.graphik.util.Partition.class - [JAR]

├─ fr.lirmm.graphik.util.Prefix.class - [JAR]

├─ fr.lirmm.graphik.util.PrefixManager.class - [JAR]

├─ fr.lirmm.graphik.util.ShouldNeverHappenedError.class - [JAR]

├─ fr.lirmm.graphik.util.TimeUnit.class - [JAR]

├─ fr.lirmm.graphik.util.TreeMapEquivalentRelation.class - [JAR]

├─ fr.lirmm.graphik.util.URI.class - [JAR]

├─ fr.lirmm.graphik.util.URIUtils.class - [JAR]

├─ fr.lirmm.graphik.util.URIzer.class - [JAR]

fr.lirmm.graphik.integraal.rulesetanalyser.util

├─ fr.lirmm.graphik.integraal.rulesetanalyser.util.AnalyserRuleSet.class - [JAR]

├─ fr.lirmm.graphik.integraal.rulesetanalyser.util.PredicatePosition.class - [JAR]

Advertisement