jar

it.unibo.tuprolog : oop-lib-jvm

Maven & Gradle

Aug 25, 2023
4 usages
86 stars

2P-Kt, OOP Library · Extension library for logic solvers, enabling OOP support in logic programs

Table Of Contents

Latest Version

Download it.unibo.tuprolog : oop-lib-jvm JAR file - Latest Versions:

All Versions

Download it.unibo.tuprolog : oop-lib-jvm JAR file - All Versions:

Version Vulnerabilities Size Updated
0.31.x
0.30.x
0.20.x
0.19.x
0.18.x
0.17.x
0.16.x
0.15.x
0.14.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 oop-lib-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.libs.oop.primitives

├─ it.unibo.tuprolog.solve.libs.oop.primitives.AbstractInvoke.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.AbstractIterableItems.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.ArrayItems.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.Assign.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.Cast.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.InvokeMethod.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.InvokeStrict.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.ListItems.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.NewObject3.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.NullRef.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.ObjectRef.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.PrimitiveExtensions.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.Ref.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.Register.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.SetItems.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.Type.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.TypeRef.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.primitives.Unregister.class - [JAR]

it.unibo.tuprolog.solve.libs.oop.impl

├─ it.unibo.tuprolog.solve.libs.oop.impl.KotlinTypesHacks.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.impl.NullRefImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.impl.ObjectRefImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.impl.ObjectToTermConverterImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.impl.OverloadSelectorImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.impl.TermToObjectConverterImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.impl.TypeFactoryImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.impl.TypeRefImpl.class - [JAR]

it.unibo.tuprolog.solve.libs.oop.exceptions

├─ it.unibo.tuprolog.solve.libs.oop.exceptions.ConstructorInvocationException.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.exceptions.MalformedAliasException.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.exceptions.MethodInvocationException.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.exceptions.NoSuchAnAliasException.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.exceptions.OopException.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.exceptions.OopRuntimeException.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.exceptions.PropertyAssignmentException.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.exceptions.RuntimePermissionException.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.exceptions.TermToObjectConversionException.class - [JAR]

it.unibo.tuprolog.solve.libs.oop

├─ it.unibo.tuprolog.solve.libs.oop.AliasesKt.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.KotlinToJavaTypeMap.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.KotlinToJavaTypeMapKt.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.NullRef.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.OOP.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.OOPLib.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.ObjectRef.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.ObjectToTermConverter.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.OverloadSelector.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.Ref.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.Result.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.TermToObjectConverter.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.TypeFactory.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.TypeRef.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.TypeUtils.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.TypeUtilsJvmKt.class - [JAR]

it.unibo.tuprolog.solve.libs.oop.rules

├─ it.unibo.tuprolog.solve.libs.oop.rules.Alias.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.rules.ColonEquals.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.rules.Dot.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.rules.FluentReduce.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.rules.NewObject2.class - [JAR]

├─ it.unibo.tuprolog.solve.libs.oop.rules.PropertyReduce.class - [JAR]

Advertisement

Dependencies from Group

May 18, 2021
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
8 usages
86 stars

Discover Dependencies

Aug 20, 2023
2 usages
Jul 09, 2021
2 usages
2 stars
Jul 13, 2023
2 usages
9 stars
Dec 15, 2021
6 usages
2 stars
Aug 25, 2023
2 usages
626 stars
Nov 17, 2022
1 usages
0 stars
Jun 24, 2023
14 usages
3 stars
Jun 20, 2014
1 usages
26 stars
May 23, 2023
5 usages
122 stars