public final class CompoundPrologTerm extends PrologTerm
arguments, functor| Constructor and Description |
|---|
CompoundPrologTerm(java.lang.String atom) |
CompoundPrologTerm(java.lang.String functor,
PrologTerm... arguments) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object other) |
boolean |
hasFunctor(java.lang.String functor,
int arity) |
int |
hashCode() |
boolean |
isAtom() |
boolean |
isTerm() |
void |
toTermOutput(IPrologTermOutput pto) |
atomicString, atomicStrings, getArgument, getArity, getFunctor, isList, isNumber, isVariable, toStringpublic CompoundPrologTerm(java.lang.String functor,
PrologTerm... arguments)
public CompoundPrologTerm(java.lang.String atom)
public boolean isAtom()
isAtom in class PrologTermpublic boolean isTerm()
isTerm in class PrologTermpublic void toTermOutput(IPrologTermOutput pto)
toTermOutput in class PrologTermpublic boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean hasFunctor(java.lang.String functor,
int arity)
hasFunctor in class PrologTerm