Class IntegraalEnvironment

java.lang.Object
fr.inria.rules.dlgpemodel.DlgpeAbstractEnvironment<DlgpeElemFactory, DlgpeFormulaFactory, DlgpeSentenceFactory, IntegraalEnvironment>
fr.inria.rules.integraal.io.dlgpe2.IntegraalEnvironment
All Implemented Interfaces:
fr.inria.rules.dlgpereader.builder.api.IBuilderEnvironment
public class IntegraalEnvironment extends fr.inria.rules.dlgpemodel.DlgpeAbstractEnvironment<DlgpeElemFactory, DlgpeFormulaFactory, DlgpeSentenceFactory, IntegraalEnvironment> implements fr.inria.rules.dlgpereader.builder.api.IBuilderEnvironment
DLGPE parsing environment configured for InteGraal factories.

  • Nested Class Summary

    Nested classes/interfaces inherited from class fr.inria.rules.dlgpemodel.DlgpeAbstractEnvironment

    fr.inria.rules.dlgpemodel.DlgpeAbstractEnvironment.InternalFactories<E,F,S,SELF>, fr.inria.rules.dlgpemodel.DlgpeAbstractEnvironment.ManagerOptions

  • Field Summary

    Fields inherited from class fr.inria.rules.dlgpemodel.DlgpeAbstractEnvironment

    operatorNames, standardFunctionsIRI

  • Constructor Summary

    Constructors
    Constructor
    Description
    IntegraalEnvironment()
    Creates an environment with the default IRI manager.
    IntegraalEnvironment(fr.inria.jfbaget.irirefs.manager.IRIManager irimanager)
    Creates an environment using the supplied IRI manager.

  • Method Summary

    Methods inherited from class fr.inria.rules.dlgpemodel.DlgpeAbstractEnvironment

    getElemFactory, getFormulaFactory, getIriManager, getSentenceFactory, getSentenceStore, getWriter, getWriter, operators, self

    Methods inherited from class Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface fr.inria.rules.dlgpereader.builder.api.IBuilderEnvironment

    getDefaultIRIManager, getElemFactory, getFormulaFactory, getIriManager, getSentenceFactory, getSentenceStore, getWriter, getWriter, operators

  • Constructor Details

    • IntegraalEnvironment

      public IntegraalEnvironment()
      Creates an environment with the default IRI manager.

    • IntegraalEnvironment

      public IntegraalEnvironment(fr.inria.jfbaget.irirefs.manager.IRIManager irimanager)
      Creates an environment using the supplied IRI manager.
      Parameters:
      irimanager - the IRI manager to reuse