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 Summary

Constructors

Constructor	Description
Predicate()	Constructor
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 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 Details

Predicate

public Predicate()

Constructor

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

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