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 solve-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.solve.rule
├─ it.unibo.tuprolog.solve.rule.RuleWrapper.class - [JAR]
it.unibo.tuprolog.solve.channel
├─ it.unibo.tuprolog.solve.channel.Channel.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.ChannelStore.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.ChannelsKt.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.InputChannel.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.InputStore.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.ListenerKt.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.OutputChannel.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.OutputStore.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.PrintStreamChannel.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.ReaderChannel.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.WriterChannel.class - [JAR]
it.unibo.tuprolog.solve.stdlib.rule
├─ it.unibo.tuprolog.solve.stdlib.rule.Append.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.rule.Arrow.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.rule.CurrentPrologFlag.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.rule.Member.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.rule.Not.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.rule.Once.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.rule.Semicolon.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.rule.SetPrologFlag.class - [JAR]
it.unibo.tuprolog.solve.directives
├─ it.unibo.tuprolog.solve.directives.ClauseExtensions.class - [JAR]
├─ it.unibo.tuprolog.solve.directives.ClauseListener.class - [JAR]
├─ it.unibo.tuprolog.solve.directives.ClausePartition.class - [JAR]
├─ it.unibo.tuprolog.solve.directives.ClausePartitionExtensionsKt.class - [JAR]
├─ it.unibo.tuprolog.solve.directives.ClausePartitionImpl.class - [JAR]
├─ it.unibo.tuprolog.solve.directives.ClausePartitioner.class - [JAR]
├─ it.unibo.tuprolog.solve.directives.DirectiveListener.class - [JAR]
├─ it.unibo.tuprolog.solve.directives.DirectiveSelector.class - [JAR]
it.unibo.tuprolog.solve.exception
├─ it.unibo.tuprolog.solve.exception.HaltException.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.LogicError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.ResolutionException.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.TimeOutException.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.Warning.class - [JAR]
it.unibo.tuprolog.solve.stdlib
├─ it.unibo.tuprolog.solve.stdlib.CommonBuiltins.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.CommonFunctions.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.CommonPrimitives.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.CommonRules.class - [JAR]
it.unibo.tuprolog.solve
├─ it.unibo.tuprolog.solve.AbstractWrapper.class - [JAR]
├─ it.unibo.tuprolog.solve.Durable.class - [JAR]
├─ it.unibo.tuprolog.solve.ExecutionContext.class - [JAR]
├─ it.unibo.tuprolog.solve.ExecutionContextAware.class - [JAR]
├─ it.unibo.tuprolog.solve.Extensions.class - [JAR]
├─ it.unibo.tuprolog.solve.FactoryClassNames.class - [JAR]
├─ it.unibo.tuprolog.solve.MutableSolver.class - [JAR]
├─ it.unibo.tuprolog.solve.Signature.class - [JAR]
├─ it.unibo.tuprolog.solve.Solution.class - [JAR]
├─ it.unibo.tuprolog.solve.SolutionFormatter.class - [JAR]
├─ it.unibo.tuprolog.solve.SolutionImpl.class - [JAR]
├─ it.unibo.tuprolog.solve.SolveOptions.class - [JAR]
├─ it.unibo.tuprolog.solve.Solver.class - [JAR]
├─ it.unibo.tuprolog.solve.SolverBuilder.class - [JAR]
├─ it.unibo.tuprolog.solve.SolverExtensionsJvmKt.class - [JAR]
├─ it.unibo.tuprolog.solve.SolverFactory.class - [JAR]
├─ it.unibo.tuprolog.solve.Time.class - [JAR]
├─ it.unibo.tuprolog.solve.TimeJvmKt.class - [JAR]
├─ it.unibo.tuprolog.solve.Utils.class - [JAR]
it.unibo.tuprolog.solve.exception.error
├─ it.unibo.tuprolog.solve.exception.error.DomainError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.ErrorUtils.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.EvaluationError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.ExistenceError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.InstantiationError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.MessageError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.PermissionError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.RepresentationError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.SyntaxError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.SystemError.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.error.TypeError.class - [JAR]
it.unibo.tuprolog.solve.channel.impl
├─ it.unibo.tuprolog.solve.channel.impl.AbstractChannel.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.impl.AbstractChannelStore.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.impl.AbstractInputChannel.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.impl.AbstractOutputChannel.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.impl.ChannelStoreUtils.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.impl.InputChannelFromFunction.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.impl.InputChannelFromString.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.impl.InputStoreImpl.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.impl.OutputChannelFromFunction.class - [JAR]
├─ it.unibo.tuprolog.solve.channel.impl.OutputStoreImpl.class - [JAR]
it.unibo.tuprolog.solve.sideffects
├─ it.unibo.tuprolog.solve.sideffects.SideEffect.class - [JAR]
├─ it.unibo.tuprolog.solve.sideffects.SideEffectFactory.class - [JAR]
├─ it.unibo.tuprolog.solve.sideffects.SideEffectManager.class - [JAR]
├─ it.unibo.tuprolog.solve.sideffects.SideEffectsBuilder.class - [JAR]
it.unibo.tuprolog.solve.flags
├─ it.unibo.tuprolog.solve.flags.DoubleQuotes.class - [JAR]
├─ it.unibo.tuprolog.solve.flags.FlagStore.class - [JAR]
├─ it.unibo.tuprolog.solve.flags.FlagsUtils.class - [JAR]
├─ it.unibo.tuprolog.solve.flags.LastCallOptimization.class - [JAR]
├─ it.unibo.tuprolog.solve.flags.MaxArity.class - [JAR]
├─ it.unibo.tuprolog.solve.flags.NotableFlag.class - [JAR]
├─ it.unibo.tuprolog.solve.flags.TrackVariables.class - [JAR]
├─ it.unibo.tuprolog.solve.flags.Unknown.class - [JAR]
it.unibo.tuprolog.solve.data
├─ it.unibo.tuprolog.solve.data.CustomDataKt.class - [JAR]
├─ it.unibo.tuprolog.solve.data.CustomDataStore.class - [JAR]
it.unibo.tuprolog.solve.stdlib.magic
├─ it.unibo.tuprolog.solve.stdlib.magic.MagicCut.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.magic.MagicTerm.class - [JAR]
it.unibo.tuprolog.solve.sideffects.impl
├─ it.unibo.tuprolog.solve.sideffects.impl.DefaultSideEffectFactory.class - [JAR]
├─ it.unibo.tuprolog.solve.sideffects.impl.SideEffectsBuilderImpl.class - [JAR]
it.unibo.tuprolog.solve.stdlib.function
├─ it.unibo.tuprolog.solve.stdlib.function.AbsoluteValue.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Addition.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.ArcTangent.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.BitwiseAnd.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.BitwiseComplement.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.BitwiseLeftShift.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.BitwiseOr.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.BitwiseRightShift.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Ceiling.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Cosine.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Exponential.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Exponentiation.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.FloatFractionalPart.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.FloatIntegerPart.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.FloatingPointDivision.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Floor.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.IntegerDivision.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Modulo.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Multiplication.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.NaturalLogarithm.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Remainder.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Round.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Sign.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.SignReversal.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Sine.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.SquareRoot.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Subtraction.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.ToFloat.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.function.Truncate.class - [JAR]
it.unibo.tuprolog.solve.stdlib.primitive
├─ it.unibo.tuprolog.solve.stdlib.primitive.Abolish.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AbstractAssert.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AbstractCollectingPrimitive.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AbstractCollectionOf.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AbstractGetData.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AbstractSetData.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Arg.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticEqual.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticGreaterThan.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticGreaterThanOrEqualTo.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticLowerThan.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticLowerThanOrEqualTo.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticNotEqual.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Assert.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AssertA.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AssertZ.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Atom.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AtomChars.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AtomCodes.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AtomConcat.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.AtomLength.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Atomic.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.BagOf.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Between.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Callable.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.CharCode.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Clause.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Compound.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.CopyTerm.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.CurrentFlag.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.CurrentOp.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.EnsureExecutable.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.FindAll.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Float.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Functor.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.GetDurable.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.GetEphemeral.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.GetPersistent.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Ground.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Halt.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Halt1.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Integer.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Is.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Natural.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.NewLine.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.NonVar.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.NotUnifiableWith.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Number.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.NumberChars.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.NumberCodes.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Op.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Repeat.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Retract.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.RetractAll.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Reverse.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.SetDurable.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.SetEphemeral.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.SetFlag.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.SetOf.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.SetPersistent.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Sleep.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.SubAtom.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.TermGreaterThan.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.TermGreaterThanOrEqualTo.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.TermIdentical.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.TermLowerThan.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.TermLowerThanOrEqualTo.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.TermNotIdentical.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.TermNotSame.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.TermSame.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.UnifiesWith.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Univ.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Var.class - [JAR]
├─ it.unibo.tuprolog.solve.stdlib.primitive.Write.class - [JAR]
it.unibo.tuprolog.solve.function
├─ it.unibo.tuprolog.solve.function.AbstractEvaluator.class - [JAR]
├─ it.unibo.tuprolog.solve.function.ArithmeticEvaluator.class - [JAR]
├─ it.unibo.tuprolog.solve.function.ArithmeticUtilsKt.class - [JAR]
├─ it.unibo.tuprolog.solve.function.BinaryMathFunction.class - [JAR]
├─ it.unibo.tuprolog.solve.function.Compute.class - [JAR]
├─ it.unibo.tuprolog.solve.function.ExpressionEvaluator.class - [JAR]
├─ it.unibo.tuprolog.solve.function.ExpressionReducer.class - [JAR]
├─ it.unibo.tuprolog.solve.function.FunctionWrapper.class - [JAR]
├─ it.unibo.tuprolog.solve.function.IntegersBinaryMathFunction.class - [JAR]
├─ it.unibo.tuprolog.solve.function.LogicFunction.class - [JAR]
├─ it.unibo.tuprolog.solve.function.MathFunction.class - [JAR]
├─ it.unibo.tuprolog.solve.function.NullaryMathFunction.class - [JAR]
├─ it.unibo.tuprolog.solve.function.UnaryMathFunction.class - [JAR]
it.unibo.tuprolog.solve.impl
├─ it.unibo.tuprolog.solve.impl.AbstractSolver.class - [JAR]
├─ it.unibo.tuprolog.solve.impl.SolutionFormatterImpl.class - [JAR]
├─ it.unibo.tuprolog.solve.impl.SolveOptionsImpl.class - [JAR]
├─ it.unibo.tuprolog.solve.impl.SolverBuilderImpl.class - [JAR]
it.unibo.tuprolog.solve.library
├─ it.unibo.tuprolog.solve.library.Library.class - [JAR]
├─ it.unibo.tuprolog.solve.library.LibraryUtils.class - [JAR]
├─ it.unibo.tuprolog.solve.library.Pluggable.class - [JAR]
├─ it.unibo.tuprolog.solve.library.Runtime.class - [JAR]
it.unibo.tuprolog.solve.exception.warning
├─ it.unibo.tuprolog.solve.exception.warning.InitializationIssue.class - [JAR]
├─ it.unibo.tuprolog.solve.exception.warning.MissingPredicate.class - [JAR]
it.unibo.tuprolog.solve.primitive
├─ it.unibo.tuprolog.solve.primitive.ArithmeticRelation.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.BinaryRelation.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.PredicateWithoutArguments.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.Primitive.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.PrimitiveWrapper.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.QuaternaryRelation.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.QuinaryRelation.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.Solve.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.TernaryRelation.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.TypeEnsurer.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.TypeTester.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.UnaryPredicate.class - [JAR]
├─ it.unibo.tuprolog.solve.primitive.ZeroaryPredicateKt.class - [JAR]
it.unibo.tuprolog.solve.library.exception
├─ it.unibo.tuprolog.solve.library.exception.AlreadyLoadedLibraryException.class - [JAR]
├─ it.unibo.tuprolog.solve.library.exception.LibraryException.class - [JAR]
├─ it.unibo.tuprolog.solve.library.exception.NoSuchALibraryException.class - [JAR]
it.unibo.tuprolog.solve.library.impl
├─ it.unibo.tuprolog.solve.library.impl.AbstractLibrary.class - [JAR]
├─ it.unibo.tuprolog.solve.library.impl.AbstractPluggable.class - [JAR]
├─ it.unibo.tuprolog.solve.library.impl.ExtensionLibrary.class - [JAR]
├─ it.unibo.tuprolog.solve.library.impl.LibraryImpl.class - [JAR]
├─ it.unibo.tuprolog.solve.library.impl.RuntimeImpl.class - [JAR]
