net.sf.tweety.lp.asp.syntax

Class SymbolicSet

java.lang.Object

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

public class SymbolicSet
extends java.lang.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 java.util.Set<DLPElement>	conjunctions
protected java.util.Set<Variable>	openVariables

Constructor Summary

Constructors

Constructor and Description
SymbolicSet(java.util.Collection<Variable> variables, java.util.Collection<DLPElement> literals)
SymbolicSet(SymbolicSet other)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
boolean	equals(java.lang.Object other)
java.util.Set<DLPElement>	getConjunction()
java.util.Set<Variable>	getVariables()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

openVariables

protected java.util.Set<Variable> openVariables

conjunctions

protected java.util.Set<DLPElement> conjunctions

Constructor Detail

SymbolicSet

public SymbolicSet(java.util.Collection<Variable> variables,
                   java.util.Collection<DLPElement> literals)

SymbolicSet

public SymbolicSet(SymbolicSet other)

Method Detail

getVariables

public java.util.Set<Variable> getVariables()

getConjunction

public java.util.Set<DLPElement> getConjunction()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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 java.lang.Object clone()

Overrides:

clone in class java.lang.Object