Package org.tweetyproject.logics.commons.syntax

Class Predicate

java.lang.Object
org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
org.tweetyproject.logics.commons.syntax.Predicate
All Implemented Interfaces:
Comparable<TypedStructureAdapter>, TypedStructure
Direct Known Subclasses:
ASPOperator.ClingoPredicate, ASPOperator.DLVPredicate, 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 Details

    • Predicate

      public Predicate()

    • Predicate

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

    • Predicate

      public Predicate​(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​(String name, 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

  • Method Details