net.sf.tweety.lp.asp.syntax

Class ListTerm

java.lang.Object

net.sf.tweety.logics.commons.syntax.TermAdapter<ListTermValue>

net.sf.tweety.lp.asp.syntax.ListTerm

All Implemented Interfaces:

LogicStructure, Term<ListTermValue>

public class ListTerm
extends TermAdapter<ListTermValue>

this class models a list term that can be used for dlv complex programs.

Author:

Tim Janus, Thomas Vengels

Field Summary

Fields inherited from class net.sf.tweety.logics.commons.syntax.TermAdapter

value

Constructor Summary

Constructors

Constructor and Description
ListTerm()
ListTerm(ListTerm other)
ListTerm(ListTermValue value)
ListTerm(Term<?> head, Term<?> tail) constructor for list elements with given [head|tail].

Method Summary

Modifier and Type	Method and Description
ListTerm	clone() Creates a deep copy of the term
protected java.lang.String	listPrint(java.util.Collection<Term<?>> tl)

Methods inherited from class net.sf.tweety.logics.commons.syntax.TermAdapter

containsTermsOfType, equals, get, getSort, getTerms, getTerms, hashCode, set, substitute, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ListTerm

public ListTerm()

ListTerm

public ListTerm(ListTerm other)

ListTerm

public ListTerm(ListTermValue value)

ListTerm

public ListTerm(Term<?> head,
                Term<?> tail)

constructor for list elements with given [head|tail].

Parameters:

head -

tail -

Method Detail

clone

public ListTerm clone()

Description copied from interface: Term

Creates a deep copy of the term

Specified by:

clone in interface Term<ListTermValue>

Specified by:

clone in class TermAdapter<ListTermValue>

listPrint

protected java.lang.String listPrint(java.util.Collection<Term<?>> tl)