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

    Download rif JAR 3.2.1 with all dependencies


    Files of the artifact rif version 3.2.1 from the group fr.inria.wimmics.

    Test

    Download rif (3.2.1)
    Artifact rif
    Group fr.inria.wimmics
    Version 3.2.1
    Organization not specified
    URL Not specified
    License not specified
    Dependencies amount 1
    Dependencies log4j,
    There are maybe transitive dependencies!
    There is a newer version: 3.3.3
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of rif Show documentation

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

    8 downloads

    Source code of rif version 3.2.1

    META-INF
    META-INF.META-INF.MANIFEST.MF
    fr.inria.edelweiss.rif.api
    fr.inria.edelweiss.rif.api.fr.inria.edelweiss.rif.api.IClause
    fr.inria.edelweiss.rif.api.fr.inria.edelweiss.rif.api.IConclusion
    fr.inria.edelweiss.rif.api.fr.inria.edelweiss.rif.api.IConnectible
    fr.inria.edelweiss.rif.api.fr.inria.edelweiss.rif.api.IFormula
    fr.inria.edelweiss.rif.api.fr.inria.edelweiss.rif.api.IRule
    fr.inria.edelweiss.rif.api.fr.inria.edelweiss.rif.api.RIF
    fr.inria.edelweiss.rif.ast
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.And
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Annotation
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Atomic
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.BinaryOp
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Connective
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Const
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Entailment
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Equal
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Exists
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Forall
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Frame
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Function
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Group
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.List
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Member
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.NSManager
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.NamedArgsFunction
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.NamedArgsPredicate
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.OpenList
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Or
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.PositionalFunction
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.PositionalPredicate
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Predicate
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Quantifier
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.RIFDocument
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.RIFPSDocument
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.RIFXMLDocument
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Statement
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Subclass
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Symbol
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Term
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Uniterm
    fr.inria.edelweiss.rif.ast.fr.inria.edelweiss.rif.ast.Var
    fr.inria.edelweiss.rif.exceptions
    fr.inria.edelweiss.rif.exceptions.fr.inria.edelweiss.rif.exceptions.RuleSemanticException
    fr.inria.edelweiss.rif.javacc
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.EscapeUtils
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.JavaCharStream
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.ParseException
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.RIFPSParser
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.RIFPSParserConstants
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.RIFPSParserTokenManager
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.TestRIF
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.Token
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.TokenMgrError
    fr.inria.edelweiss.rif.javacc.fr.inria.edelweiss.rifcc.rifpsParser.jj
    fr.inria.edelweiss.rif.xml
    fr.inria.edelweiss.rif.xml.fr.inria.edelweiss.rif.xml.RIFXMLParser
    fr.inria.edelweiss.rif.xml.exceptions
    fr.inria.edelweiss.rif.xml.exceptions.fr.inria.edelweiss.rif.xml.exceptions.NestedGroupException
    fr.inria.edelweiss.rif.xml.schema
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.ANYURICONSTType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.And
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.AndMetaType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.AndThenType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Args
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Atom
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Class
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Const
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.ContentFORMULAType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.ContentTERMType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Declare
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Directive
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Document
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Equal
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Exists
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Expr
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.ExternalFORMULAType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.ExternalTERMType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Forall
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Formula
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.FormulaMetaType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.FormulaThenType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Frame
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Group
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.IRICONSTType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Id
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.If
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Implies
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Import
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Instance
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Left
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.List
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Location
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Member
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Meta
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Object
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.ObjectFactory
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Op
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Or
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Payload
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Profile
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Rest
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Right
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Sentence
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.SlotFrameType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.SlotUNITERMType
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Sub
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Subclass
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Super
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Then
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.Var
    fr.inria.edelweiss.rif.xml.schema.fr.inria.edelweiss.rif.xml.schema.package-info




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy