Predicate (Tweety (Commons Logic) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
- - net.sf.tweety.logics.commons.syntax.Predicate

All Implemented Interfaces:

Comparable<TypedStructureAdapter>, TypedStructure
```
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(String name)`	Initializes a predicate of arity zero with the given name;
`Predicate(String name, int arity)`	Initializes a predicate with the given name and of the given arity.
`Predicate(String name, 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(Object obj)

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

- Constructor Detail
  - 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 Detail
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class TypedStructureAdapter
  - equals
```
public boolean equals(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