Package ca.uqac.lif.cep.ltl

Class NewTrooleanForAll

java.lang.Object
ca.uqac.lif.cep.Processor
ca.uqac.lif.cep.SynchronousProcessor
ca.uqac.lif.cep.ltl.NewQuantifier
ca.uqac.lif.cep.ltl.NewTrooleanForAll
All Implemented Interfaces:
ca.uqac.lif.cep.Contextualizable, ca.uqac.lif.cep.Duplicable, ca.uqac.lif.cep.DuplicableProcessor
public class NewTrooleanForAll extends NewQuantifier

  • 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.NewQuantifier

    m_domainFunction, m_expression, m_pushables, m_sinks, m_variableName

    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
    Constructor
    Description
    NewTrooleanForAll(String variable_name, ca.uqac.lif.cep.functions.Function domain_function, ca.uqac.lif.cep.Processor expression)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected boolean
    canClean(Object o)
     
    protected Object
    collectValues(List<?> values)
     
    NewTrooleanForAll
    duplicate(boolean with_state)
     

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

    compute

    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, duplicateInto, 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, reset, rightShift, setContext, setContext, setPullableInput, setPushableOutput, start, startAll, stop, stopAll

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • NewTrooleanForAll

      public NewTrooleanForAll(String variable_name, ca.uqac.lif.cep.functions.Function domain_function, ca.uqac.lif.cep.Processor expression)

  • Method Details

    • canClean

      protected boolean canClean(Object o)
      Specified by:
      canClean in class NewQuantifier

    • collectValues

      protected Object collectValues(List<?> values)
      Specified by:
      collectValues in class NewQuantifier

    • duplicate

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