Package ca.uqac.lif.cep.fol

Class PredicateAssertion

  • All Implemented Interfaces:
    ca.uqac.lif.azrael.Printable, ca.uqac.lif.azrael.Readable, ca.uqac.lif.cep.Duplicable, ca.uqac.lif.cep.functions.DuplicableFunction
    public class PredicateAssertion
extends ca.uqac.lif.cep.functions.Function
    An assertion on the value of a predicate, to be evaluated on an Interpretation.

    While a PredicateTuple is an object that defines the value of a predicate for a given set of arguments, a PredicateAssertion queries an interpretation to fetch the corresponding truth value for the arguments.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected ca.uqac.lif.cep.functions.Function[] m_arguments
      The arguments of this predicate
      protected java.lang.String m_predicateName
      The name of the predicate to evaluate

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

        s_maxInputArity

    • Constructor Summary

      Constructors 
      Constructor Description
      PredicateAssertion​(java.lang.String predicate_name, ca.uqac.lif.cep.functions.Function... arguments)
      Creates a new predicate assertion

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      ca.uqac.lif.cep.functions.Function duplicate​(boolean with_state)  
      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)  
      void reset()  
      java.lang.String toString()  

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

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

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • m_predicateName

        protected java.lang.String m_predicateName
        The name of the predicate to evaluate

      • m_arguments

        protected ca.uqac.lif.cep.functions.Function[] m_arguments
        The arguments of this predicate

    • Constructor Detail

      • PredicateAssertion

        public PredicateAssertion​(java.lang.String predicate_name,
                          ca.uqac.lif.cep.functions.Function... arguments)
        Creates a new predicate assertion
        Parameters:
        predicate_name - The name of the predicate to evaluate
        arguments - The arguments of this predicate

    • 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

      • reset

        public void reset()
        Overrides:
        reset in class ca.uqac.lif.cep.functions.Function

      • duplicate

        public ca.uqac.lif.cep.functions.Function duplicate​(boolean with_state)
        Specified by:
        duplicate in interface ca.uqac.lif.cep.Duplicable
        Specified by:
        duplicate 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

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object