Class DlgpeFormulaFactory

java.lang.Object
fr.inria.rules.integraal.io.dlgpe2.DlgpeFormulaFactory
All Implemented Interfaces:
fr.inria.rules.dlgpereader.builder.api.IFormulaFactory
public class DlgpeFormulaFactory extends Object implements fr.inria.rules.dlgpereader.builder.api.IFormulaFactory
Creates formula objects while parsing DLGPE input.

  • Constructor Summary

    Constructors
    Constructor
    Description
    DlgpeFormulaFactory(IntegraalEnvironment env)
    Creates a DLGPE formula factory for the supplied environment.

  • Method Summary

    Modifier and Type
    Method
    Description
    FOFormulaConjunction
    createConjunction(Collection<? extends fr.inria.rules.dlgpemodel.api.formulas.IFormula> subformulas)
     
    FOFormulaDisjunction
    createDisjunction(Collection<? extends fr.inria.rules.dlgpemodel.api.formulas.IFormula> subformulas)
     
    fr.inria.rules.dlgpemodel.testimpl.formulas.DummyEqualityAtom
    createEqualityAtom(fr.inria.rules.dlgpemodel.api.elems.ITerm term1, fr.inria.rules.dlgpemodel.api.elems.ITerm term2)
     
    FOFormulaNegation
    createNegation(fr.inria.rules.dlgpemodel.api.formulas.IFormula subformula)
     
    fr.inria.rules.dlgpemodel.testimpl.formulas.DummyRepeatAtom
    createRepeatAtom(fr.inria.rules.dlgpemodel.api.elems.IPredicate predicate, int minRepeats, fr.inria.rules.dlgpemodel.api.elems.ITerm firstTerm, fr.inria.rules.dlgpemodel.api.elems.ITerm secondTerm)
     
    Atom
    createStandardAtom(fr.inria.rules.dlgpemodel.api.elems.IPredicate predicate, List<? extends fr.inria.rules.dlgpemodel.api.elems.ITerm> terms)
     
    fr.inria.rules.dlgpemodel.testimpl.formulas.DummySubQuery
    createSubQuery(fr.inria.rules.dlgpemodel.api.elems.IVariable variable, List<fr.inria.rules.dlgpemodel.api.elems.IVariable> answerVars, fr.inria.rules.dlgpemodel.api.formulas.IFormula body)
     

    Methods inherited from class Object

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

  • Constructor Details

    • DlgpeFormulaFactory

      public DlgpeFormulaFactory(IntegraalEnvironment env)
      Creates a DLGPE formula factory for the supplied environment.
      Parameters:
      env - the parsing environment

  • Method Details

    • createStandardAtom

      public Atom createStandardAtom(fr.inria.rules.dlgpemodel.api.elems.IPredicate predicate, List<? extends fr.inria.rules.dlgpemodel.api.elems.ITerm> terms)
      Specified by:
      createStandardAtom in interface fr.inria.rules.dlgpereader.builder.api.IFormulaFactory

    • createEqualityAtom

      public fr.inria.rules.dlgpemodel.testimpl.formulas.DummyEqualityAtom createEqualityAtom(fr.inria.rules.dlgpemodel.api.elems.ITerm term1, fr.inria.rules.dlgpemodel.api.elems.ITerm term2)
      Specified by:
      createEqualityAtom in interface fr.inria.rules.dlgpereader.builder.api.IFormulaFactory

    • createNegation

      public FOFormulaNegation createNegation(fr.inria.rules.dlgpemodel.api.formulas.IFormula subformula)
      Specified by:
      createNegation in interface fr.inria.rules.dlgpereader.builder.api.IFormulaFactory

    • createSubQuery

      public fr.inria.rules.dlgpemodel.testimpl.formulas.DummySubQuery createSubQuery(fr.inria.rules.dlgpemodel.api.elems.IVariable variable, List<fr.inria.rules.dlgpemodel.api.elems.IVariable> answerVars, fr.inria.rules.dlgpemodel.api.formulas.IFormula body)
      Specified by:
      createSubQuery in interface fr.inria.rules.dlgpereader.builder.api.IFormulaFactory

    • createRepeatAtom

      public fr.inria.rules.dlgpemodel.testimpl.formulas.DummyRepeatAtom createRepeatAtom(fr.inria.rules.dlgpemodel.api.elems.IPredicate predicate, int minRepeats, fr.inria.rules.dlgpemodel.api.elems.ITerm firstTerm, fr.inria.rules.dlgpemodel.api.elems.ITerm secondTerm)
      Specified by:
      createRepeatAtom in interface fr.inria.rules.dlgpereader.builder.api.IFormulaFactory

    • createConjunction

      public FOFormulaConjunction createConjunction(Collection<? extends fr.inria.rules.dlgpemodel.api.formulas.IFormula> subformulas)
      Specified by:
      createConjunction in interface fr.inria.rules.dlgpereader.builder.api.IFormulaFactory

    • createDisjunction

      public FOFormulaDisjunction createDisjunction(Collection<? extends fr.inria.rules.dlgpemodel.api.formulas.IFormula> subformulas)
      Specified by:
      createDisjunction in interface fr.inria.rules.dlgpereader.builder.api.IFormulaFactory