Class Functor

    • Constructor Summary

      Constructors 
      Constructor Description
      Functor​(java.lang.String name)
      Initializes a functor of arity zero with the given name; the target sort is initialized to Sort.THING.
      Functor​(java.lang.String name, int arity)
      Initializes a functor with the given name and of the given arity.
      Functor​(java.lang.String name, java.util.List<Sort> arguments, Sort targetSort)
      Initializes a functor with the given name, the given list of argument sorts, and the given target sort.
    • Constructor Detail

      • Functor

        public Functor​(java.lang.String name)
        Initializes a functor of arity zero with the given name; the target sort is initialized to Sort.THING.
        Parameters:
        name - the name of the functor
      • Functor

        public Functor​(java.lang.String name,
                       int arity)
        Initializes a functor with the given name and of the given arity. Every argument and the target gets the sort Sort.THING.
        Parameters:
        name - the name of the functor
        arity - the arity of the functor
      • Functor

        public Functor​(java.lang.String name,
                       java.util.List<Sort> arguments,
                       Sort targetSort)
        Initializes a functor with the given name, the given list of argument sorts, and the given target sort.
        Parameters:
        name - the name of the functor
        arguments - the sorts of the arguments
        targetSort - the sort of the range