All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download tla2bAST JAR 1.4.0 with all dependencies


    Translator from TLA+ to ProB's AST representation.

    Files of the artifact tla2bAST version 1.4.0 from the group de.hhu.stups.

    Test

    Download tla2bAST (1.4.0)
    Artifact tla2bAST
    Group de.hhu.stups
    Version 1.4.0
    Organization not specified
    URL https://github.com/hhu-stups/tla2bAST
    License Eclipse Public License, Version 1.0
    Dependencies amount 3
    Dependencies tlatools, prologlib, bparser,
    There are maybe transitive dependencies!
    There is a newer version: 1.4.1
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of tla2bAST Show documentation

    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of tla2bAST version 1.4.0

    META-INF
    META-INF.META-INF.MANIFEST.MF
    de.tla2b
    de.tla2b.de.tla2b.TLA2B
    de.tla2b.analysis
    de.tla2b.analysis.de.tla2b.analysis.AbstractASTVisitor
    de.tla2b.analysis.de.tla2b.analysis.BOperation
    de.tla2b.analysis.de.tla2b.analysis.InstanceTransformation
    de.tla2b.analysis.de.tla2b.analysis.PredicateVsExpression
    de.tla2b.analysis.de.tla2b.analysis.RecursiveDefinition
    de.tla2b.analysis.de.tla2b.analysis.RecursiveFunktion
    de.tla2b.analysis.de.tla2b.analysis.SpecAnalyser
    de.tla2b.analysis.de.tla2b.analysis.SymbolRenamer
    de.tla2b.analysis.de.tla2b.analysis.SymbolSorter
    de.tla2b.analysis.de.tla2b.analysis.TypeChecker
    de.tla2b.analysis.de.tla2b.analysis.UsedExternalFunctions
    de.tla2b
    de.tla2b.de.tla2b.build.properties
    de.tla2b.config
    de.tla2b.config.de.tla2b.config.ConfigfileEvaluator
    de.tla2b.config.de.tla2b.config.ModuleOverrider
    de.tla2b.config.de.tla2b.config.TLCValueNode
    de.tla2b.config.de.tla2b.config.ValueObj
    de.tla2b.exceptions
    de.tla2b.exceptions.de.tla2b.exceptions.ConfigFileErrorException
    de.tla2b.exceptions.de.tla2b.exceptions.ExpressionTranslationException
    de.tla2b.exceptions.de.tla2b.exceptions.NotImplementedException
    de.tla2b.exceptions.de.tla2b.exceptions.SemanticErrorException
    de.tla2b.exceptions.de.tla2b.exceptions.TLA2BException
    de.tla2b.exceptions.de.tla2b.exceptions.TLA2BFrontEndException
    de.tla2b.exceptions.de.tla2b.exceptions.TypeErrorException
    de.tla2b.exceptions.de.tla2b.exceptions.UnificationException
    de.tla2b.global
    de.tla2b.global.de.tla2b.global.BBuildIns
    de.tla2b.global.de.tla2b.global.BBuiltInOPs
    de.tla2b.global.de.tla2b.global.OperatorTypes
    de.tla2b.global.de.tla2b.global.TranslationGlobals
    de.tla2b.global.de.tla2b.global.VersionHelper
    de.tla2b.output
    de.tla2b.output.de.tla2b.output.TlaTypePrinter
    de.tla2b.output.de.tla2b.output.TypeVisitorInterface
    de.tla2b.translation
    de.tla2b.translation.de.tla2b.translation.BDefinitionsFinder
    de.tla2b.translation.de.tla2b.translation.BMacroHandler
    de.tla2b.translation.de.tla2b.translation.OperationsFinder
    de.tla2b.translation.de.tla2b.translation.RecursiveFunctionHandler
    de.tla2b.translation.de.tla2b.translation.UsedDefinitionsFinder
    de.tla2b.types
    de.tla2b.types.de.tla2b.types.AbstractHasFollowers
    de.tla2b.types.de.tla2b.types.AbstractSymbol
    de.tla2b.types.de.tla2b.types.BoolType
    de.tla2b.types.de.tla2b.types.EnumType
    de.tla2b.types.de.tla2b.types.FunctionType
    de.tla2b.types.de.tla2b.types.IType
    de.tla2b.types.de.tla2b.types.IntType
    de.tla2b.types.de.tla2b.types.ModelValueType
    de.tla2b.types.de.tla2b.types.PairType
    de.tla2b.types.de.tla2b.types.RealType
    de.tla2b.types.de.tla2b.types.SetType
    de.tla2b.types.de.tla2b.types.StringType
    de.tla2b.types.de.tla2b.types.StructOrFunctionType
    de.tla2b.types.de.tla2b.types.StructType
    de.tla2b.types.de.tla2b.types.TLAType
    de.tla2b.types.de.tla2b.types.TupleOrFunction
    de.tla2b.types.de.tla2b.types.TupleType
    de.tla2b.types.de.tla2b.types.UntypedType
    de.tla2b.util
    de.tla2b.util.de.tla2b.util.DebugUtils
    de.tla2b.util.de.tla2b.util.FileUtils
    de.tla2b.util.de.tla2b.util.TlaUtils
    de.tla2bAst
    de.tla2bAst.de.tla2bAst.BAstCreator
    de.tla2bAst.de.tla2bAst.ExpressionTranslator
    de.tla2bAst.de.tla2bAst.SimpleResolver
    de.tla2bAst.de.tla2bAst.Translator




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy