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:

net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.Term<ListTermValue>

public class ListTerm
extends net.sf.tweety.logics.commons.syntax.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(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> head, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> tail) constructor for list elements with given [head|tail].

Method Summary

Modifier and Type	Method and Description
ListTerm	clone()
protected String	listPrint(Collection<net.sf.tweety.logics.commons.syntax.interfaces.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(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> head,
                net.sf.tweety.logics.commons.syntax.interfaces.Term<?> tail)

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

Parameters:

head -

tail -

Method Detail

clone

public ListTerm clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.Term<ListTermValue>

Overrides:

clone in class net.sf.tweety.logics.commons.syntax.TermAdapter<ListTermValue>

listPrint

protected String listPrint(Collection<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> tl)