net.sf.tweety.lp.asp.syntax

Class SymbolicSet

java.lang.Object

net.sf.tweety.lp.asp.syntax.SymbolicSet

public class SymbolicSet
extends Object

This class is used to store symbolic sets of aggregate functions of dlv rules. A symbolic set contains a non empty set of open variables and a conjunction of elements. Comparative and Arithmetics are allowed in the conjunction and also default negated and classic literals are allowed but the conjunction is not allowed to hold another aggregate.

Author:

Tim Janus, Thomas Vengels

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<DLPElement>	conjunctions
protected Set<net.sf.tweety.logics.commons.syntax.Variable>	openVariables

Constructor Summary

Constructors

Constructor and Description
SymbolicSet(Collection<net.sf.tweety.logics.commons.syntax.Variable> variables, Collection<DLPElement> literals)
SymbolicSet(SymbolicSet other)

Method Summary

Modifier and Type	Method and Description
Object	clone()
boolean	equals(Object other)
Set<DLPElement>	getConjunction()
Set<net.sf.tweety.logics.commons.syntax.Variable>	getVariables()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

openVariables

protected Set<net.sf.tweety.logics.commons.syntax.Variable> openVariables

conjunctions

protected Set<DLPElement> conjunctions

Constructor Detail

SymbolicSet

public SymbolicSet(Collection<net.sf.tweety.logics.commons.syntax.Variable> variables,
                   Collection<DLPElement> literals)

SymbolicSet

public SymbolicSet(SymbolicSet other)

Method Detail

getVariables

public Set<net.sf.tweety.logics.commons.syntax.Variable> getVariables()

getConjunction

public Set<DLPElement> getConjunction()

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object other)

Overrides:

equals in class Object

clone

public Object clone()

Overrides:

clone in class Object