Package ca.uqac.lif.cep.ltl

Class SoftCast

java.lang.Object
ca.uqac.lif.cep.functions.Function
ca.uqac.lif.cep.functions.UnaryFunction<Boolean,Troolean.Value>
ca.uqac.lif.cep.ltl.SoftCast
All Implemented Interfaces:
ca.uqac.lif.cep.Duplicable, ca.uqac.lif.cep.functions.DuplicableFunction
public class SoftCast extends ca.uqac.lif.cep.functions.UnaryFunction<Boolean,Troolean.Value>
Casts a Boolean value into a Troolean value, by converting (Boolean) false into (Troolean) inconclusive.
Author:
Sylvain Hallé

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final SoftCast
    instance
    A public instance of the function.

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

    s_maxInputArity

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
    SoftCast()
    Creates a new instance of the SoftCast function.

  • Method Summary

    Modifier and Type
    Method
    Description
    SoftCast
    duplicate(boolean with_state)
     
    Troolean.Value
    getValue(Boolean x)
     

    Methods inherited from class ca.uqac.lif.cep.functions.UnaryFunction

    evaluate, getInputArity, getInputTypesFor, getOutputArity, getOutputTypeFor, reset

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

    duplicate, evaluate, evaluate, evaluateLazy, evaluatePartial, printState, readState

    Methods inherited from class java.lang.Object

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

  • Field Details

    • instance

      public static final SoftCast instance
      A public instance of the function.

  • Constructor Details

    • SoftCast

      protected SoftCast()
      Creates a new instance of the SoftCast function.

  • Method Details

    • getValue

      public Troolean.Value getValue(Boolean x)
      Specified by:
      getValue in class ca.uqac.lif.cep.functions.UnaryFunction<Boolean,Troolean.Value>

    • duplicate

      public SoftCast duplicate(boolean with_state)
      Specified by:
      duplicate in interface ca.uqac.lif.cep.Duplicable
      Overrides:
      duplicate in class ca.uqac.lif.cep.functions.UnaryFunction<Boolean,Troolean.Value>