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:

Formula, ComplexLogicalFormula, LogicStructure, 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 java.lang.String	functor
protected Term<?>	leftGuard
protected java.lang.String	leftOp
protected Term<?>	rightGuard
protected java.lang.String	rightOp
protected SymbolicSet	symSet

Constructor Summary

Constructors

Constructor and Description
Aggregate(Aggregate other)
Aggregate(java.lang.String functor, SymbolicSet symSet)
Aggregate(java.lang.String functor, SymbolicSet ss, java.lang.String rightOp, Term<?> rightGuard)
Aggregate(Term<?> leftGuard, java.lang.String leftOp, java.lang.String functor, SymbolicSet ss)
Aggregate(Term<?> leftGuard, java.lang.String leftOp, java.lang.String functor, SymbolicSet ss, java.lang.String rightOp, Term<?> rightGuard)

Method Summary

Modifier and Type	Method and Description
Aggregate	clone() Creates a deep copy of this formula
boolean	equals(java.lang.Object other)
java.util.Set<DLPAtom>	getAtoms() Processes the set of all atoms which appear in this formula
java.lang.String	getFunctor()
Term<?>	getLeftGuard()
java.lang.String	getLeftOperator()
java.util.SortedSet<DLPLiteral>	getLiterals()
java.util.Set<DLPPredicate>	getPredicates() Processes the set of all predicates which appear in this formula
Term<?>	getRightGuard()
java.lang.String	getRightOperator()
FolSignature	getSignature() Returns the signature of the language of this formula.
SymbolicSet	getSymbolicSet()
java.util.Set<Term<?>>	getTerms()
int	hashCode()
boolean	hasLeftGuard()
boolean	hasRightGuard()
boolean	isGround() Checks whether this formula is ground, i.e.
void	setLeftGuard(Term<?> guard, java.lang.String rel)
void	setRightGuard(Term<?> guard, java.lang.String rel)
Aggregate	substitute(Term<?> t, Term<?> v) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
java.lang.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 Term<?> leftGuard

rightGuard

protected Term<?> rightGuard

leftOp

protected java.lang.String leftOp

rightOp

protected java.lang.String rightOp

functor

protected java.lang.String functor

Constructor Detail

Aggregate

public Aggregate(Term<?> leftGuard,
                 java.lang.String leftOp,
                 java.lang.String functor,
                 SymbolicSet ss)

Aggregate

public Aggregate(java.lang.String functor,
                 SymbolicSet ss,
                 java.lang.String rightOp,
                 Term<?> rightGuard)

Aggregate

public Aggregate(Term<?> leftGuard,
                 java.lang.String leftOp,
                 java.lang.String functor,
                 SymbolicSet ss,
                 java.lang.String rightOp,
                 Term<?> rightGuard)

Aggregate

public Aggregate(java.lang.String functor,
                 SymbolicSet symSet)

Aggregate

public Aggregate(Aggregate other)

Method Detail

hasLeftGuard

public boolean hasLeftGuard()

hasRightGuard

public boolean hasRightGuard()

getLeftGuard

public Term<?> getLeftGuard()

getLeftOperator

public java.lang.String getLeftOperator()

getRightGuard

public Term<?> getRightGuard()

getRightOperator

public java.lang.String getRightOperator()

setLeftGuard

public void setLeftGuard(Term<?> guard,
                         java.lang.String rel)

setRightGuard

public void setRightGuard(Term<?> guard,
                          java.lang.String rel)

getFunctor

public java.lang.String getFunctor()

getSymbolicSet

public SymbolicSet getSymbolicSet()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getLiterals

public java.util.SortedSet<DLPLiteral> getLiterals()

Specified by:

getLiterals in interface DLPElement

Returns:

all the literals used in the rule element

isGround

public boolean isGround()

Description copied from interface: ComplexLogicalFormula

Checks whether this formula is ground, i.e. whether there appears no variable in this formula.

Specified by:

isGround in interface ComplexLogicalFormula

Overrides:

isGround in class ComplexLogicalFormulaAdapter

Returns:

"true" if this formula is ground.

clone

public Aggregate clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface ComplexLogicalFormula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in interface DLPElement

Specified by:

clone in class DLPElementAdapter

getPredicates

public java.util.Set<DLPPredicate> getPredicates()

Description copied from interface: SimpleLogicalFormula

Processes the set of all predicates which appear in this formula

Specified by:

getPredicates in interface SimpleLogicalFormula

Specified by:

getPredicates in interface DLPElement

Returns:

all predicates that appear in this formula

getTerms

public java.util.Set<Term<?>> getTerms()

Specified by:

getTerms in interface LogicStructure

Returns:

a set containing all terms of this logical structure

getAtoms

public java.util.Set<DLPAtom> getAtoms()

Description copied from interface: SimpleLogicalFormula

Processes the set of all atoms which appear in this formula

Specified by:

getAtoms in interface SimpleLogicalFormula

Specified by:

getAtoms in interface DLPElement

Returns:

The set of all atoms

substitute

public Aggregate substitute(Term<?> t,
                            Term<?> v)

Description copied from interface: ComplexLogicalFormula

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Specified by:

substitute in interface ComplexLogicalFormula

Specified by:

substitute in interface DLPElement

Parameters:

t - the term to be substituted.

v - the term to substitute.

Returns:

a formula where every occurrence of "v" is replaced by "t".

getSignature

public FolSignature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Specified by:

getSignature in interface DLPElement

Returns:

the signature of the language of this formula.

hashCode

public int hashCode()

Specified by:

hashCode in interface SimpleLogicalFormula

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Specified by:

equals in interface SimpleLogicalFormula

Overrides:

equals in class java.lang.Object