public class PredicateImpl extends Object implements Predicate
| Modifier | Constructor and Description |
|---|---|
protected |
PredicateImpl(String name,
int arity) |
| Modifier and Type | Method and Description |
|---|---|
Predicate |
clone() |
boolean |
equals(Object obj)
TODO: also check arity?
|
int |
getArity()
Get the number of elements of the predicate.
|
String |
getName()
Get the name of the predicate.
|
int |
hashCode() |
String |
toString() |
public int getArity()
Predicatepublic String getName()
PredicateCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.