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 fol-1.24.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
org.tweetyproject.logics.fol.plugin
├─ org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin.class - [JAR]
org.tweetyproject.logics.fol.writer
├─ org.tweetyproject.logics.fol.writer.FolWriter.class - [JAR]
├─ org.tweetyproject.logics.fol.writer.Prover9Writer.class - [JAR]
├─ org.tweetyproject.logics.fol.writer.SPASSWriter.class - [JAR]
├─ org.tweetyproject.logics.fol.writer.StandardFolWriter.class - [JAR]
├─ org.tweetyproject.logics.fol.writer.TPTPWriter.class - [JAR]
org.tweetyproject.logics.fol.syntax
├─ org.tweetyproject.logics.fol.syntax.AssociativeFolFormula.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.Conjunction.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.Contradiction.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.Disjunction.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.EqualityPredicate.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.Equivalence.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.FolAtom.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.FolBeliefSet.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.FolFormula.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.FolSignature.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.Implication.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.InequalityPredicate.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.LogicStructure.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.Negation.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.SpecialFormula.class - [JAR]
├─ org.tweetyproject.logics.fol.syntax.Tautology.class - [JAR]
org.tweetyproject.logics.fol.parser
├─ org.tweetyproject.logics.fol.parser.FolParser.class - [JAR]
├─ org.tweetyproject.logics.fol.parser.TPTPParser.class - [JAR]
org.tweetyproject.logics.fol.reasoner
├─ org.tweetyproject.logics.fol.reasoner.EFOLReasoner.class - [JAR]
├─ org.tweetyproject.logics.fol.reasoner.FolReasoner.class - [JAR]
├─ org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner.class - [JAR]
├─ org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner.class - [JAR]
├─ org.tweetyproject.logics.fol.reasoner.SpassFolReasoner.class - [JAR]
org.tweetyproject.logics.fol.semantics
├─ org.tweetyproject.logics.fol.semantics.HerbrandBase.class - [JAR]
├─ org.tweetyproject.logics.fol.semantics.HerbrandInterpretation.class - [JAR]
org.tweetyproject.logics.fol.examples
├─ org.tweetyproject.logics.fol.examples.FolExample.class - [JAR]
├─ org.tweetyproject.logics.fol.examples.StandardFolWriterExample.class - [JAR]
├─ org.tweetyproject.logics.fol.examples.TPTPParserExample.class - [JAR]
