Package ca.uqac.lif.cep.fol

Class GetDomain

java.lang.Object
ca.uqac.lif.cep.functions.Function
ca.uqac.lif.cep.functions.UnaryFunction<Interpretation,Set>
ca.uqac.lif.cep.fol.GetDomain
All Implemented Interfaces:
ca.uqac.lif.cep.Duplicable, ca.uqac.lif.cep.functions.DuplicableFunction
public class GetDomain extends ca.uqac.lif.cep.functions.UnaryFunction<Interpretation,Set>
Function taking an interpretation as its input, and returning the set of values associated with some domain as its output.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected String
    m_domainName
    The name of the domain to fetch from the interpretation

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

    s_maxInputArity

  • Constructor Summary

    Constructors
    Constructor
    Description
    GetDomain(String domain_name)
    Creates a new instance of domain function

  • Method Summary

    Modifier and Type
    Method
    Description
    GetDomain
    duplicate(boolean with_context)
     
    Set
    getValue(Interpretation 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

    • m_domainName

      protected String m_domainName
      The name of the domain to fetch from the interpretation

  • Constructor Details

    • GetDomain

      public GetDomain(String domain_name)
      Creates a new instance of domain function
      Parameters:
      domain_name - The name of the domain to fetch from the interpretation

  • Method Details

    • getValue

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

    • duplicate

      public GetDomain duplicate(boolean with_context)
      Specified by:
      duplicate in interface ca.uqac.lif.cep.Duplicable
      Overrides:
      duplicate in class ca.uqac.lif.cep.functions.UnaryFunction<Interpretation,Set>