jTrolog.terms

Class Struct

java.lang.Object

jTrolog.terms.Term

jTrolog.terms.EvaluableTerm

jTrolog.terms.Struct

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

StructAtom, WrapStruct

public class Struct
extends EvaluableTerm

Struct class represents both compound prolog term and atom term (considered as 0-arity compound).

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
int	arity speedup hash map operation
String	name
int	operatorType
String	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
Struct(String f, Term[] argList) Compound struct with an array of arguments
Struct(String f, Term[] argList, int opType) Struct representing an operator

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object t)
Term	getArg(int index) Gets the i-th element of this structure No bound check is done
int	getOperatorType()
Var[]	getVarList()
static Iterator	iterator(Struct structList)
String	toString() Gets the string representation of this structure Specific representations are provided for lists and atoms.
String	toStringList(boolean small)
String	toStringSmall()

Methods inherited from class java.lang.Object

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

Field Detail

name

public final String name

predicateIndicator

public final String predicateIndicator

arity

public final int arity

speedup hash map operation

operatorType

public int operatorType

Constructor Detail

Struct

public Struct(String f,
              Term[] argList,
              int opType)

Struct representing an operator

Struct

public Struct(String f,
              Term[] argList)

Compound struct with an array of arguments

Method Detail

getVarList

public Var[] getVarList()

getArg

public Term getArg(int index)

Gets the i-th element of this structure No bound check is done

getOperatorType

public int getOperatorType()

toString

public String toString()

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 Object

toStringList

public String toStringList(boolean small)

toStringSmall

public String toStringSmall()

Specified by:

toStringSmall in class Term

equals

public boolean equals(Object t)

Overrides:

equals in class Object

iterator

public static Iterator iterator(Struct structList)