jar

io.github.modelsvgu : OCL2MSFOL

Maven & Gradle

Jul 13, 2023
0 stars

io.github.modelsvgu:OCL2MSFOL · An implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).

Table Of Contents

Latest Version

Download io.github.modelsvgu : OCL2MSFOL JAR file - Latest Versions:

All Versions

Download io.github.modelsvgu : OCL2MSFOL JAR file - All Versions:

Version Vulnerabilities Size Updated
1.0.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 OCL2MSFOL-1.0.1.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

modeling.ocl.fol.utils

├─ modeling.ocl.fol.utils.FileManager.class - [JAR]

modeling.ocl.fol.mappings

├─ modeling.ocl.fol.mappings.DefC.class - [JAR]

├─ modeling.ocl.fol.mappings.O2F_DefCVisitor.class - [JAR]

├─ modeling.ocl.fol.mappings.O2F_EvalVisitor.class - [JAR]

├─ modeling.ocl.fol.mappings.O2F_FalseVisitor.class - [JAR]

├─ modeling.ocl.fol.mappings.O2F_InvalidVisitor.class - [JAR]

├─ modeling.ocl.fol.mappings.O2F_NullVisitor.class - [JAR]

├─ modeling.ocl.fol.mappings.O2F_TrueVisitor.class - [JAR]

├─ modeling.ocl.fol.mappings.OCL2MSFOL.class - [JAR]

├─ modeling.ocl.fol.mappings.OCL2MSFOLVisitor.class - [JAR]

├─ modeling.ocl.fol.mappings.Template.class - [JAR]

modeling.ocl.fol.config

├─ modeling.ocl.fol.config.Context.class - [JAR]

├─ modeling.ocl.fol.config.LogicValue.class - [JAR]

├─ modeling.ocl.fol.config.Runner.class - [JAR]

modeling.datamodel.fol

├─ modeling.datamodel.fol.DM2MSFOL.class - [JAR]

Advertisement