org.dllearner.prolog
Class List

java.lang.Object
  org.dllearner.prolog.Term
      org.dllearner.prolog.List

All Implemented Interfaces:

Cloneable

public class List
extends Term

Author:

Sebastian Bader

Constructor Summary

List()

List(Term head, List tail)

Method Summary

Object	clone()
static List	compose(ArrayList<Term> content)
boolean	equals(Object obj)
Term	getInstance(Variable variable, Term term)
int	hashCode()
boolean	isGround()
String	toPLString()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

List

public List()

List

public List(Term head,
            List tail)

Method Detail

compose

public static List compose(ArrayList<Term> content)

isGround

public boolean isGround()

Specified by:

isGround in class Term

Returns:

Returns true iff this term is ground

toString

public String toString()

Specified by:

toString in class Term

toPLString

public String toPLString()

Specified by:

toPLString in class Term

getInstance

public Term getInstance(Variable variable,
                        Term term)

Specified by:

getInstance in class Term

Parameters:

variable - Substitution variable.

term - A term.

Returns:

Returns a new instance of this term, where the variable is replaced by the term.

equals

public boolean equals(Object obj)

Specified by:

equals in class Term

hashCode

public int hashCode()

Specified by:

hashCode in class Term

clone

public Object clone()

Specified by:

clone in class Term