Package ca.uqac.lif.cep.fol

Class QuantifierInterpretation

  • 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:
    ExistsInterpretation, ForAllInterpretation
    public abstract class QuantifierInterpretation
extends ca.uqac.lif.cep.functions.Function

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.lang.String m_domainName  
      protected ca.uqac.lif.cep.functions.Function m_expression  
      protected boolean m_failFast  
      protected boolean m_stopValue  
      protected java.lang.String m_variableName  

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

        s_maxInputArity

    • Constructor Summary

      Constructors 
      Constructor Description
      QuantifierInterpretation​(java.lang.String variable_name, java.lang.String domain_name, ca.uqac.lif.cep.functions.Function expression, boolean stop_value)  

    • Method Summary

      All Methods Instance 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[] out, 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)  
      void reset()  
      void setFailFast​(boolean b)
      Sets whether the quantifier evaluates the functions in "fail fast" mode

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

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

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • m_variableName

        protected java.lang.String m_variableName

      • m_domainName

        protected java.lang.String m_domainName

      • m_expression

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

      • m_stopValue

        protected boolean m_stopValue

      • m_failFast

        protected boolean m_failFast

    • Constructor Detail

      • QuantifierInterpretation

        public QuantifierInterpretation​(java.lang.String variable_name,
                                java.lang.String domain_name,
                                ca.uqac.lif.cep.functions.Function expression,
                                boolean stop_value)

    • Method Detail

      • evaluate

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

      • setFailFast

        public void setFailFast​(boolean b)
        Sets whether the quantifier evaluates the functions in "fail fast" mode
        Parameters:
        b - Set to true to use fail fast

      • 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

      • reset

        public void reset()
        Overrides:
        reset 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