net.sf.tweety.lp.asp.syntax

Class ListTermValue

java.lang.Object

net.sf.tweety.lp.asp.syntax.ListTermValue

public class ListTermValue
extends Object

Encapsulates the possible values for a dlv complex list. A dlv complex list can be represented either as (head|tail) where head is a single term and tail is a Variable or a List or it can be represented as [v1,...,vn] describing an orderered sequence of n values. The method usesHeadTailsSyntax() can be used to determine the representation type of the ListTermValue.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor and Description
ListTermValue()
ListTermValue(Collection<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms)
ListTermValue(ListTermValue other)
ListTermValue(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> head, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> tail)

Method Summary

Modifier and Type	Method and Description
ListTermValue	clone()
boolean	equals(Object other)
int	hashCode()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	head()
List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	list()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	tail()
String	toString()
boolean	usesHeadTailSyntax()

Methods inherited from class java.lang.Object

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

Constructor Detail

ListTermValue

public ListTermValue()

ListTermValue

public ListTermValue(ListTermValue other)

ListTermValue

public ListTermValue(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> head,
                     net.sf.tweety.logics.commons.syntax.interfaces.Term<?> tail)

ListTermValue

public ListTermValue(Collection<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms)

Method Detail

head

public net.sf.tweety.logics.commons.syntax.interfaces.Term<?> head()

tail

public net.sf.tweety.logics.commons.syntax.interfaces.Term<?> tail()

Returns:

A Variable or a ListTerm representing the tail.

list

public List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> list()

usesHeadTailSyntax

public boolean usesHeadTailSyntax()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object other)

Overrides:

equals in class Object

clone

public ListTermValue clone()

Overrides:

clone in class Object

toString

public String toString()

Overrides:

toString in class Object