jTrolog.terms

Class Clause

java.lang.Object

jTrolog.terms.Clause

public class Clause
extends Object

Wrapper object to store both the original Struct and its converted clause in the same object

Author:

ivar.orstavik@hist.no

Field Summary

Fields

Modifier and Type	Field and Description
Struct	head
Struct	original
Struct[]	tail

Constructor Summary

Constructors

Constructor and Description
Clause(Struct[] tail, Struct head, Struct original)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

tail

public final Struct[] tail

head

public final Struct head

original

public final Struct original

Constructor Detail

Clause

public Clause(Struct[] tail,
              Struct head,
              Struct original)