View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window integraal-forward-chaining-1.0.0.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
fr.boreal.forward_chaining.chase
├─ fr.boreal.forward_chaining.chase.Chase.class - [JAR]
├─ fr.boreal.forward_chaining.chase.ChaseBuilder.class - [JAR]
├─ fr.boreal.forward_chaining.chase.ChaseImpl.class - [JAR]
├─ fr.boreal.forward_chaining.chase.RuleApplicationStepResult.class - [JAR]
fr.boreal.forward_chaining.chase.rule_applier
├─ fr.boreal.forward_chaining.chase.rule_applier.AbstractRuleApplier.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.BreadthFirstTriggerRuleApplier.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.ParallelTriggerRuleApplier.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.RuleApplier.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.SourceDelegatedDatalogRuleApplier.class - [JAR]
fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.renamer
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.renamer.BodySkolem.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.renamer.FreshRenamer.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.renamer.FrontierByPieceSkolem.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.renamer.FrontierSkolem.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.renamer.TriggerRenamer.class - [JAR]
fr.boreal.forward_chaining.chase.rule_applier.trigger_applier
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.TriggerApplier.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.TriggerApplierImpl.class - [JAR]
fr.boreal.forward_chaining.chase.rule_applier.trigger_checker
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_checker.AlwaysTrueChecker.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_checker.EquivalentChecker.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_checker.MultiTriggerChecker.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_checker.ObliviousChecker.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_checker.RestrictedChecker.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_checker.SemiObliviousChecker.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_checker.TriggerChecker.class - [JAR]
fr.boreal.forward_chaining.chase.rule_scheduler
├─ fr.boreal.forward_chaining.chase.rule_scheduler.GRDScheduler.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_scheduler.NaiveScheduler.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_scheduler.RuleScheduler.class - [JAR]
fr.boreal.forward_chaining.chase.rule_applier.body_to_query_transformer
├─ fr.boreal.forward_chaining.chase.rule_applier.body_to_query_transformer.AllTransformer.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.body_to_query_transformer.BodyToQueryTransformer.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.body_to_query_transformer.FrontierTransformer.class - [JAR]
fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.facts_handler
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.facts_handler.DelegatedApplication.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.facts_handler.DirectApplication.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_applier.facts_handler.FactsHandler.class - [JAR]
fr.boreal.forward_chaining.chase.rule_applier.trigger_computer
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_computer.NaiveTriggerComputer.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_computer.SemiNaiveComputer.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_computer.TriggerComputer.class - [JAR]
├─ fr.boreal.forward_chaining.chase.rule_applier.trigger_computer.TwoStepComputer.class - [JAR]
fr.boreal.forward_chaining.chase.treatment
├─ fr.boreal.forward_chaining.chase.treatment.AddCreatedFacts.class - [JAR]
├─ fr.boreal.forward_chaining.chase.treatment.Debug.class - [JAR]
├─ fr.boreal.forward_chaining.chase.treatment.EndTreatment.class - [JAR]
├─ fr.boreal.forward_chaining.chase.treatment.Pretreatment.class - [JAR]
├─ fr.boreal.forward_chaining.chase.treatment.RuleSplit.class - [JAR]
├─ fr.boreal.forward_chaining.chase.treatment.Treatment.class - [JAR]
fr.boreal.forward_chaining.api
├─ fr.boreal.forward_chaining.api.ForwardChainingAlgorithm.class - [JAR]
fr.boreal.forward_chaining.chase.halting_condition
├─ fr.boreal.forward_chaining.chase.halting_condition.CreatedFactsAtPreviousStep.class - [JAR]
├─ fr.boreal.forward_chaining.chase.halting_condition.HaltingCondition.class - [JAR]
├─ fr.boreal.forward_chaining.chase.halting_condition.HasRulesToApply.class - [JAR]
├─ fr.boreal.forward_chaining.chase.halting_condition.LimitAtoms.class - [JAR]
├─ fr.boreal.forward_chaining.chase.halting_condition.LimitNumberOfStep.class - [JAR]
├─ fr.boreal.forward_chaining.chase.halting_condition.Timeout.class - [JAR]
