Package ca.uqac.lif.cep.ltl

Class HardCast

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

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final HardCast
    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
    HardCast()
    Creates a new instance of the SoftCast function.

  • Method Summary

    Modifier and Type
    Method
    Description
    HardCast
    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 HardCast instance
      A public instance of the function.

  • Constructor Details

    • HardCast

      protected HardCast()
      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 HardCast 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>