Package ca.uqac.lif.cep.fol

Class GetDomain

  • All Implemented Interfaces:
    ca.uqac.lif.azrael.Printable, ca.uqac.lif.azrael.Readable, ca.uqac.lif.cep.Duplicable, ca.uqac.lif.cep.functions.DuplicableFunction
    public class GetDomain
extends ca.uqac.lif.cep.functions.UnaryFunction<Interpretation,​java.util.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 java.lang.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​(java.lang.String domain_name)
      Creates a new instance of domain function

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      GetDomain duplicate​(boolean with_context)  
      java.util.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, print, printState, read, readState

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • m_domainName

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

    • Constructor Detail

      • GetDomain

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

    • Method Detail

      • getValue

        public java.util.Set getValue​(Interpretation x)
        Specified by:
        getValue in class ca.uqac.lif.cep.functions.UnaryFunction<Interpretation,​java.util.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,​java.util.Set>