Predicate

java.lang.Object
- org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
- - org.tweetyproject.logics.commons.syntax.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 Summary

Constructors
Constructor	Description
`Predicate()`
`Predicate(java.lang.String name)`	Initializes a predicate of arity zero with the given name;
`Predicate(java.lang.String name, int arity)`	Initializes a predicate with the given name and of the given arity.
`Predicate(java.lang.String name, java.util.List<Sort> arguments)`	Initializes a predicate with the given name and the given list of argument sorts.

Method Summary

Modifier and Type Method Description

Predicate clone()
Creates a deep copy of this object

boolean equals(java.lang.Object obj)

int hashCode()
- Methods inherited from class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
  addArgumentType, compareTo, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName, toString
- Methods inherited from class java.lang.Object
  getClass, notify, notifyAll, wait, wait, wait

- 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
- Method Detail
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class TypedStructureAdapter
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class TypedStructureAdapter
  - clone
```
public Predicate clone()
```
    Description copied from interface: TypedStructure
    
    Creates a deep copy of this object
    
    Specified by:
    
    clone in interface TypedStructure
    
    Specified by:
    
    clone in class TypedStructureAdapter
    
    Returns:
    
    A deep copy of this object