All Implemented Interfaces:
Comparable<TypedStructureAdapter>, TypedStructure

public class Functor extends TypedStructureAdapter
A functor for logic language, i.e. an identifier for functional terms.
Author:
Matthias Thimm, Tim Janus
  • Constructor Details

    • Functor

      public Functor(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(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(String name, 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
  • Method Details