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 bdd-jvm-0.31.13.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
it.unibo.tuprolog.bdd
├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagram.class - [JAR]
├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramBuilder.class - [JAR]
├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramBuilderKt.class - [JAR]
├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramOperators.class - [JAR]
├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramUtils.class - [JAR]
├─ it.unibo.tuprolog.bdd.BinaryDecisionDiagramVisitor.class - [JAR]
it.unibo.tuprolog.bdd.exception
├─ it.unibo.tuprolog.bdd.exception.BinaryDecisionDiagramException.class - [JAR]
├─ it.unibo.tuprolog.bdd.exception.BinaryDecisionDiagramOperationException.class - [JAR]
it.unibo.tuprolog.bdd.impl.builder
├─ it.unibo.tuprolog.bdd.impl.builder.ReducedBinaryDecisionDiagramBuilder.class - [JAR]
├─ it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramBuilder.class - [JAR]
├─ it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramTerminal.class - [JAR]
├─ it.unibo.tuprolog.bdd.impl.builder.SimpleBinaryDecisionDiagramVariable.class - [JAR]
it.unibo.tuprolog.bdd.impl
├─ it.unibo.tuprolog.bdd.impl.AnyVisitor.class - [JAR]
├─ it.unibo.tuprolog.bdd.impl.BinaryApplyExpansionVisitor.class - [JAR]
├─ it.unibo.tuprolog.bdd.impl.BinaryApplyExpansionVisitorKt.class - [JAR]
├─ it.unibo.tuprolog.bdd.impl.ExpansionVisitor.class - [JAR]
├─ it.unibo.tuprolog.bdd.impl.UnaryApplyExpansionVisitor.class - [JAR]
it.unibo.tuprolog.bdd.impl.utils
├─ it.unibo.tuprolog.bdd.impl.utils.CastVisitor.class - [JAR]