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, toString
public CompoundPrologTerm(java.lang.String functor, PrologTerm... arguments)
public CompoundPrologTerm(java.lang.String atom)
public boolean isAtom()
isAtom
in class PrologTerm
public boolean isTerm()
isTerm
in class PrologTerm
public void toTermOutput(IPrologTermOutput pto)
toTermOutput
in class PrologTerm
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean hasFunctor(java.lang.String functor, int arity)
hasFunctor
in class PrologTerm