public class PredicateImpl extends Object implements Predicate
| Modifier | Constructor and Description |
|---|---|
protected |
PredicateImpl(String name,
int arity) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other)
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()
Predicatepublic boolean equals(Object other)
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.