net.sf.tweety.lp.asp.syntax

Class Aggregate

java.lang.Object

net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

net.sf.tweety.lp.asp.syntax.DLPElementAdapter

net.sf.tweety.lp.asp.syntax.Aggregate

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula, DLPElement

public class Aggregate
extends DLPElementAdapter
implements DLPElement

this class represents an aggregate function. aggregates are functions like sum, times, count over a symbolic set, a set of literals and local variables.

Author:

Tim Janus, Thomas Vengels

Field Summary

Fields

Modifier and Type	Field and Description
protected String	functor
protected net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	leftGuard
protected String	leftOp
protected net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	rightGuard
protected String	rightOp
protected SymbolicSet	symSet

Constructor Summary

Constructors

Constructor and Description
Aggregate(Aggregate other)
Aggregate(String functor, SymbolicSet symSet)
Aggregate(String functor, SymbolicSet ss, String rightOp, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> rightGuard)
Aggregate(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> leftGuard, String leftOp, String functor, SymbolicSet ss)
Aggregate(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> leftGuard, String leftOp, String functor, SymbolicSet ss, String rightOp, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> rightGuard)

Method Summary

Modifier and Type	Method and Description
Aggregate	clone()
boolean	equals(Object other)
Set<DLPAtom>	getAtoms()
String	getFunctor()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	getLeftGuard()
String	getLeftOperator()
SortedSet<DLPLiteral>	getLiterals()
Set<DLPPredicate>	getPredicates()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	getRightGuard()
String	getRightOperator()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
SymbolicSet	getSymbolicSet()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
int	hashCode()
boolean	hasLeftGuard()
boolean	hasRightGuard()
boolean	isGround()
void	setLeftGuard(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> guard, String rel)
void	setRightGuard(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> guard, String rel)
Aggregate	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)
String	toString()

Methods inherited from class net.sf.tweety.lp.asp.syntax.DLPElementAdapter

getPredicateCls

Methods inherited from class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

containsTermsOfType, exchange, getTerms, isLiteral, isWellFormed, substitute

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

exchange, isWellFormed, substitute

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicateCls, isLiteral

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

containsTermsOfType, getTerms

Field Detail

symSet

protected SymbolicSet symSet

leftGuard

protected net.sf.tweety.logics.commons.syntax.interfaces.Term<?> leftGuard

rightGuard

protected net.sf.tweety.logics.commons.syntax.interfaces.Term<?> rightGuard

leftOp

protected String leftOp

rightOp

protected String rightOp

functor

protected String functor

Constructor Detail

Aggregate

public Aggregate(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> leftGuard,
                 String leftOp,
                 String functor,
                 SymbolicSet ss)

Aggregate

public Aggregate(String functor,
                 SymbolicSet ss,
                 String rightOp,
                 net.sf.tweety.logics.commons.syntax.interfaces.Term<?> rightGuard)

Aggregate

public Aggregate(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> leftGuard,
                 String leftOp,
                 String functor,
                 SymbolicSet ss,
                 String rightOp,
                 net.sf.tweety.logics.commons.syntax.interfaces.Term<?> rightGuard)

Aggregate

public Aggregate(String functor,
                 SymbolicSet symSet)

Aggregate

public Aggregate(Aggregate other)

Method Detail

hasLeftGuard

public boolean hasLeftGuard()

hasRightGuard

public boolean hasRightGuard()

getLeftGuard

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

getLeftOperator

public String getLeftOperator()

getRightGuard

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

getRightOperator

public String getRightOperator()

setLeftGuard

public void setLeftGuard(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> guard,
                         String rel)

setRightGuard

public void setRightGuard(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> guard,
                          String rel)

getFunctor

public String getFunctor()

getSymbolicSet

public SymbolicSet getSymbolicSet()

toString

public String toString()

Overrides:

toString in class Object

getLiterals

public SortedSet<DLPLiteral> getLiterals()

Specified by:

getLiterals in interface DLPElement

Returns:

all the literals used in the rule element

isGround

public boolean isGround()

Specified by:

isGround in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Overrides:

isGround in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

clone

public Aggregate clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in interface DLPElement

Specified by:

clone in class DLPElementAdapter

getPredicates

public Set<DLPPredicate> getPredicates()

Specified by:

getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getPredicates in interface DLPElement

getTerms

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

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

getAtoms

public Set<DLPAtom> getAtoms()

Specified by:

getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getAtoms in interface DLPElement

substitute

public Aggregate substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t,
                            net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in interface DLPElement

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in interface DLPElement

hashCode

public int hashCode()

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

hashCode in class Object

equals

public boolean equals(Object other)

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

equals in class Object