jar

de.tu-darmstadt.stg : kofre_3

Maven & Gradle

Feb 22, 2023
90 stars

kofre · kofre

Table Of Contents

Latest Version

Download de.tu-darmstadt.stg : kofre_3 JAR file - Latest Versions:

All Versions

Download de.tu-darmstadt.stg : kofre_3 JAR file - All Versions:

Version Vulnerabilities Size Updated
0.33.x
0.32.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 kofre_3-0.33.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

kofre.dotted

├─ kofre.dotted.DotFun.class - [JAR]

├─ kofre.dotted.DotMap.class - [JAR]

├─ kofre.dotted.DotSet.class - [JAR]

├─ kofre.dotted.Dotted.class - [JAR]

├─ kofre.dotted.DottedLattice.class - [JAR]

├─ kofre.dotted.HasDots.class - [JAR]

kofre.time

├─ kofre.time.ArrayRanges.class - [JAR]

├─ kofre.time.Dot.class - [JAR]

├─ kofre.time.Dots.class - [JAR]

├─ kofre.time.VectorClock.class - [JAR]

├─ kofre.time.WallClock.class - [JAR]

kofre.datatypes.alternatives

├─ kofre.datatypes.alternatives.MultiValueRegister.class - [JAR]

├─ kofre.datatypes.alternatives.ObserveRemoveSet.class - [JAR]

├─ kofre.datatypes.alternatives.ResettableCounter.class - [JAR]

kofre.base

├─ kofre.base.Bottom.class - [JAR]

├─ kofre.base.Lattice.class - [JAR]

kofre.datatypes.alternatives.rga

├─ kofre.datatypes.alternatives.rga.DeltaSequence.class - [JAR]

├─ kofre.datatypes.alternatives.rga.GrowOnlySequence.class - [JAR]

├─ kofre.datatypes.alternatives.rga.LatticeSequence.class - [JAR]

├─ kofre.datatypes.alternatives.rga.Sequence.class - [JAR]

├─ kofre.datatypes.alternatives.rga.SetLike.class - [JAR]

├─ kofre.datatypes.alternatives.rga.Vertex.class - [JAR]

kofre.datatypes

├─ kofre.datatypes.AddWinsSet.class - [JAR]

├─ kofre.datatypes.CausalLastWriterWins.class - [JAR]

├─ kofre.datatypes.CausalQueue.class - [JAR]

├─ kofre.datatypes.EnableWinsFlag.class - [JAR]

├─ kofre.datatypes.Epoche.class - [JAR]

├─ kofre.datatypes.GrowOnlyCounter.class - [JAR]

├─ kofre.datatypes.GrowOnlyList.class - [JAR]

├─ kofre.datatypes.LastWriterWins.class - [JAR]

├─ kofre.datatypes.MultiVersionRegister.class - [JAR]

├─ kofre.datatypes.ObserveRemoveMap.class - [JAR]

├─ kofre.datatypes.PosNegCounter.class - [JAR]

├─ kofre.datatypes.ReplicatedList.class - [JAR]

├─ kofre.datatypes.TwoPhaseSet.class - [JAR]

kofre.datatypes.experiments

├─ kofre.datatypes.experiments.AEAD.class - [JAR]

├─ kofre.datatypes.experiments.AuctionInterface.class - [JAR]

├─ kofre.datatypes.experiments.BoundedCounter.class - [JAR]

├─ kofre.datatypes.experiments.RaftState.class - [JAR]

├─ kofre.datatypes.experiments.RubisInterface.class - [JAR]

kofre.syntax

├─ kofre.syntax.DeltaBuffer.class - [JAR]

├─ kofre.syntax.DeltaBufferContainer.class - [JAR]

├─ kofre.syntax.OpsSyntaxHelper.class - [JAR]

├─ kofre.syntax.OpsTypes.class - [JAR]

├─ kofre.syntax.PermCausalMutate.class - [JAR]

├─ kofre.syntax.PermMutate.class - [JAR]

├─ kofre.syntax.PermQuery.class - [JAR]

├─ kofre.syntax.TestReplica.class - [JAR]