net.sf.tweety.lp.asp.syntax

Class ListTermValue

java.lang.Object

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

public class ListTermValue
extends java.lang.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

Field Summary

Fields

Modifier and Type	Field and Description
private Term<?>	head
private java.util.List<Term<?>>	list
private Term<?>	tail

Constructor Summary

Constructors

Constructor and Description
ListTermValue()
ListTermValue(java.util.Collection<? extends Term<?>> terms)
ListTermValue(ListTermValue other)
ListTermValue(Term<?> head, Term<?> tail)

Method Summary

Modifier and Type	Method and Description
ListTermValue	clone()
boolean	equals(java.lang.Object other)
int	hashCode()
Term<?>	head()
java.util.List<Term<?>>	list()
Term<?>	tail()
java.lang.String	toString()
boolean	usesHeadTailSyntax()

Methods inherited from class java.lang.Object

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

Field Detail

head

private Term<?> head

tail

private Term<?> tail

list

private java.util.List<Term<?>> list

Constructor Detail

ListTermValue

public ListTermValue()

ListTermValue

public ListTermValue(ListTermValue other)

ListTermValue

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

ListTermValue

public ListTermValue(java.util.Collection<? extends Term<?>> terms)

Method Detail

head

public Term<?> head()

tail

public Term<?> tail()

Returns:

A Variable or a ListTerm representing the tail.

list

public java.util.List<Term<?>> list()

usesHeadTailSyntax

public boolean usesHeadTailSyntax()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

clone

public ListTermValue clone()

Overrides:

clone in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object