net.sf.tweety.logics.commons.syntax

Class Predicate

java.lang.Object

net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

net.sf.tweety.logics.commons.syntax.Predicate

All Implemented Interfaces:

java.lang.Comparable<TypedStructureAdapter>, TypedStructure

Direct Known Subclasses:

Concept, DLPPredicate, FolActionName, FolFluentName, PropositionalPredicate, Role

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 and 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 and Description
Predicate	clone() Creates a deep copy of this object
boolean	equals(java.lang.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, setArity, setName, toString

Methods inherited from class java.lang.Object

finalize, 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

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