jTrolog.terms

Class StructAtom

java.lang.Object

jTrolog.terms.Term

jTrolog.terms.EvaluableTerm

jTrolog.terms.Struct

jTrolog.terms.StructAtom

All Implemented Interfaces:

Serializable

public class StructAtom
extends Struct

See Also:

Serialized Form

Field Summary

Fields inherited from class jTrolog.terms.Struct

arity, name, operatorType, predicateIndicator

Fields inherited from class jTrolog.terms.Term

ATOM, emptyList, FALSE, iterator, NUMBER, pos, prePost, STRUCT, tree, TRUE, type, VAR

Constructor Summary

Constructors

Constructor and Description
StructAtom(String name)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object t)
String	toString() Gets the string representation of this structure Specific representations are provided for lists and atoms.
String	toStringSmall()

Methods inherited from class jTrolog.terms.Struct

getArg, getOperatorType, getVarList, iterator, toStringList

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

StructAtom

public StructAtom(String name)

Method Detail

equals

public boolean equals(Object t)

Overrides:

equals in class Struct

toString

public String toString()

Description copied from class: Struct

Gets the string representation of this structure Specific representations are provided for lists and atoms. Names starting with upper case letter are enclosed in apices.

Overrides:

toString in class Struct

toStringSmall

public String toStringSmall()

Overrides:

toStringSmall in class Struct