Class Predicate

  • All Implemented Interfaces:
    java.lang.Comparable<TypedStructureAdapter>, TypedStructure
    Direct Known Subclasses:
    EqualityPredicate, FolActionName, FolFluentName, InequalityPredicate, PlPredicate

    public class Predicate
    extends TypedStructureAdapter
    A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate. Sub classes might forbid some of the general features to form a predicate which fits another language. Force the arity to be zero gives an propositional predicate for example.
    Author:
    Matthias Thimm, Tim Janus
    • Constructor Detail

      • Predicate

        public Predicate()
      • Predicate

        public Predicate​(java.lang.String name)
        Initializes a predicate of arity zero with the given name;
        Parameters:
        name - the name of the predicate
      • Predicate

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

        public Predicate​(java.lang.String name,
                         java.util.List<Sort> arguments)
        Initializes a predicate with the given name and the given list of argument sorts.
        Parameters:
        name - the name of the predicate
        arguments - the sorts of the arguments