Package ca.uqac.lif.cep.fol

Class FirstOrderQuantifier

  • All Implemented Interfaces:
    ca.uqac.lif.azrael.Printable, ca.uqac.lif.azrael.Readable, ca.uqac.lif.cep.Duplicable, ca.uqac.lif.cep.functions.DuplicableFunction
    Direct Known Subclasses:
    Exists, ForAll
    public abstract class FirstOrderQuantifier
extends ca.uqac.lif.cep.functions.Function

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected ca.uqac.lif.cep.functions.Function m_domainFunction  
      protected ca.uqac.lif.cep.functions.Function m_function  
      protected java.lang.String m_variable  

      • Fields inherited from class ca.uqac.lif.cep.functions.Function

        s_maxInputArity

    • Constructor Summary

      Constructors 
      Constructor Description
      FirstOrderQuantifier​(java.lang.String x, ca.uqac.lif.cep.functions.Function f)  
      FirstOrderQuantifier​(java.lang.String x, ca.uqac.lif.cep.functions.Function d, ca.uqac.lif.cep.functions.Function f)  

    • Method Summary

      All Methods Instance Methods Abstract Methods Concrete Methods 
      Modifier and Type Method Description
      void evaluate​(java.lang.Object[] inputs, java.lang.Object[] outputs)  
      void evaluate​(java.lang.Object[] inputs, java.lang.Object[] outputs, ca.uqac.lif.cep.Context context, ca.uqac.lif.cep.EventTracker tracker)  
      int getInputArity()  
      void getInputTypesFor​(java.util.Set<java.lang.Class<?>> classes, int index)  
      int getOutputArity()  
      java.lang.Class<?> getOutputTypeFor​(int index)  
      protected abstract void getVerdict​(java.lang.Object[][] inputs, java.lang.Object[] outputs)  

      • Methods inherited from class ca.uqac.lif.cep.functions.Function

        duplicate, duplicate, evaluate, evaluateLazy, evaluatePartial, print, printState, read, readState, reset

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • m_variable

        protected java.lang.String m_variable

      • m_function

        protected ca.uqac.lif.cep.functions.Function m_function

      • m_domainFunction

        protected ca.uqac.lif.cep.functions.Function m_domainFunction

    • Constructor Detail

      • FirstOrderQuantifier

        public FirstOrderQuantifier​(java.lang.String x,
                            ca.uqac.lif.cep.functions.Function d,
                            ca.uqac.lif.cep.functions.Function f)

      • FirstOrderQuantifier

        public FirstOrderQuantifier​(java.lang.String x,
                            ca.uqac.lif.cep.functions.Function f)

    • Method Detail

      • evaluate

        public void evaluate​(java.lang.Object[] inputs,
                     java.lang.Object[] outputs,
                     ca.uqac.lif.cep.Context context,
                     ca.uqac.lif.cep.EventTracker tracker)
        Specified by:
        evaluate in class ca.uqac.lif.cep.functions.Function

      • evaluate

        public void evaluate​(java.lang.Object[] inputs,
                     java.lang.Object[] outputs)
        Overrides:
        evaluate in class ca.uqac.lif.cep.functions.Function

      • getInputArity

        public int getInputArity()
        Specified by:
        getInputArity in class ca.uqac.lif.cep.functions.Function

      • getOutputArity

        public int getOutputArity()
        Specified by:
        getOutputArity in class ca.uqac.lif.cep.functions.Function

      • getInputTypesFor

        public void getInputTypesFor​(java.util.Set<java.lang.Class<?>> classes,
                             int index)
        Specified by:
        getInputTypesFor in class ca.uqac.lif.cep.functions.Function

      • getOutputTypeFor

        public java.lang.Class<?> getOutputTypeFor​(int index)
        Specified by:
        getOutputTypeFor in class ca.uqac.lif.cep.functions.Function

      • getVerdict

        protected abstract void getVerdict​(java.lang.Object[][] inputs,
                                   java.lang.Object[] outputs)