PlPredicate

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

All Implemented Interfaces:

java.lang.Comparable<TypedStructureAdapter>, TypedStructure
```
public class PlPredicate
extends Predicate
```
A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.

Author:

Tim Janus

Constructor Summary

Constructors
Constructor	Description
`PlPredicate()`	Default-Ctor for dynamic instantiation
`PlPredicate(java.lang.String name)`	Ctor: Creates a new propositional predicate with the given name.

Method Summary

Modifier and Type	Method	Description
`void`	`addArgumentType(Sort argType)`	Adds the given Sort as argument type to the typed Structure
`PlPredicate`	`clone()`	Creates a deep copy of this object

Methods inherited from class net.sf.tweety.logics.commons.syntax.Predicate
equals, hashCode

Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
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
  - PlPredicate
```
public PlPredicate()
```
    Default-Ctor for dynamic instantiation
  - PlPredicate
```
public PlPredicate(java.lang.String name)
```
    Ctor: Creates a new propositional predicate with the given name.
    
    Parameters:
    
    name - The name of the predicate
- Method Detail
  - addArgumentType
```
public void addArgumentType(Sort argType)
```
    Description copied from interface: TypedStructure
    
    Adds the given Sort as argument type to the typed Structure
    
    Specified by:
    
    addArgumentType in interface TypedStructure
    
    Overrides:
    
    addArgumentType in class TypedStructureAdapter
    
    Parameters:
    
    argType - The Sort descibing the argument type
  - clone
```
public PlPredicate clone()
```
    Description copied from interface: TypedStructure
    
    Creates a deep copy of this object
    
    Specified by:
    
    clone in interface TypedStructure
    
    Overrides:
    
    clone in class Predicate
    
    Returns:
    
    A deep copy of this object