PlPredicate

java.lang.Object

org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

org.tweetyproject.logics.commons.syntax.Predicate

org.tweetyproject.logics.pl.syntax.PlPredicate

All Implemented Interfaces:: 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(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 org.tweetyproject.logics.commons.syntax.Predicate
equals, hashCode

Methods inherited from class org.tweetyproject.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 Details
- PlPredicate
  
  public PlPredicate()
  
  Default-Ctor for dynamic instantiation
- PlPredicate
  
  public PlPredicate(String name)
  
  Ctor: Creates a new propositional predicate with the given name.
  
  Parameters:
  
  name - The name of the predicate
Method Details
- 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