Package ca.uqac.lif.cep.ltl

Class Exists

java.lang.Object
ca.uqac.lif.cep.Processor
ca.uqac.lif.cep.SynchronousProcessor
ca.uqac.lif.cep.ltl.FirstOrderQuantifier
ca.uqac.lif.cep.ltl.Exists
All Implemented Interfaces:
ca.uqac.lif.cep.Contextualizable, ca.uqac.lif.cep.Duplicable, ca.uqac.lif.cep.DuplicableProcessor
public class Exists extends FirstOrderQuantifier
Boolean implementation of the existential first-order quantifier.
Author:
Sylvain Hallé

  • Nested Class Summary

    Nested classes/interfaces inherited from class ca.uqac.lif.cep.SynchronousProcessor

    ca.uqac.lif.cep.SynchronousProcessor.InputPushable, ca.uqac.lif.cep.SynchronousProcessor.OutputPullable

    Nested classes/interfaces inherited from class ca.uqac.lif.cep.Processor

    ca.uqac.lif.cep.Processor.InternalProcessorState

  • Field Summary

    Fields inherited from class ca.uqac.lif.cep.ltl.FirstOrderQuantifier

    m_sink, m_slicer, m_slicerPushable

    Fields inherited from class ca.uqac.lif.cep.SynchronousProcessor

    m_inputPushables, m_outputPullables, m_tempQueue

    Fields inherited from class ca.uqac.lif.cep.Processor

    m_context, m_hasBeenNotifiedOfEndOfTrace, m_inputArity, m_inputPullables, m_inputQueues, m_notifiedEndOfTraceDownstream, m_outputArity, m_outputPushables, m_outputQueues, MAX_PULL_RETRIES, s_versionString

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
    Exists(FirstOrderSlice fos)
     
     
    Exists(String var_name, ca.uqac.lif.cep.functions.Function dom_function, ca.uqac.lif.cep.Processor expression)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    Object
    combineValues(List<?> values)
     
    Exists
    duplicate(boolean with_state)
     

    Methods inherited from class ca.uqac.lif.cep.ltl.FirstOrderQuantifier

    compute, duplicateInto, reset, setContext, setContext

    Methods inherited from class ca.uqac.lif.cep.SynchronousProcessor

    getPullableOutput, getPushableInput

    Methods inherited from class ca.uqac.lif.cep.Processor

    allNotifiedEndOfTrace, allNull, copyInputQueue, copyOutputQueue, duplicate, equals, getAt, getContext, getContext, getEmptyQueue, getId, getInputArity, getInputQueue, getInputType, getInputTypesFor, getOutputArity, getOutputQueue, getOutputType, getPullableInput, getPullableOutput, getPushableInput, getPushableOutput, hashCode, leftShift, newContext, onEndOfTrace, or, or, or, printState, readState, rightShift, setPullableInput, setPushableOutput, start, startAll, stop, stopAll

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • Exists

      public Exists(String var_name, ca.uqac.lif.cep.functions.Function dom_function, ca.uqac.lif.cep.Processor expression)

    • Exists

      protected Exists(FirstOrderSlice fos)

  • Method Details

    • duplicate

      public Exists duplicate(boolean with_state)
      Specified by:
      duplicate in interface ca.uqac.lif.cep.Duplicable
      Specified by:
      duplicate in class ca.uqac.lif.cep.Processor

    • combineValues

      public Object combineValues(List<?> values)
      Specified by:
      combineValues in class FirstOrderQuantifier