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:
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()
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
-
Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
addArgumentType, compareTo, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName, toString
-
-
-
-
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 predicatearity
- the arity 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 predicatearguments
- the sorts of the arguments
-
-
Method Detail
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classTypedStructureAdapter
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classTypedStructureAdapter
-
clone
public Predicate clone()
Description copied from interface:TypedStructure
Creates a deep copy of this object- Specified by:
clone
in interfaceTypedStructure
- Specified by:
clone
in classTypedStructureAdapter
- Returns:
- A deep copy of this object
-
-