net.sf.tweety.lp.asp.syntax

Class Arithmetic

java.lang.Object

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

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

net.sf.tweety.lp.asp.syntax.Arithmetic

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 Arithmetic
extends DLPElementAdapter
implements DLPElement

This class implements the Arithmetic semantic given by the DLV Manual. Because for build-in functions like #rand a complement is not possible this class does not implement the Invertable interface.

Author:

Tim Janus, Thomas Vengels

Constructor Summary

Constructors

Constructor and Description
Arithmetic(Arithmetic other) Copy-Ctor
Arithmetic(String op, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> left, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> right, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> result)

Method Summary

Modifier and Type	Method and Description
Arithmetic	clone()
boolean	equals(Object other)
Set<DLPAtom>	getAtoms()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	getLeftArgument()
SortedSet<DLPLiteral>	getLiterals()
String	getOperator()
Set<DLPPredicate>	getPredicates()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	getResult()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	getRightArgument()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
int	hashCode()
boolean	isGround()
Arithmetic	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

Constructor Detail

Arithmetic

public Arithmetic(String op,
                  net.sf.tweety.logics.commons.syntax.interfaces.Term<?> left,
                  net.sf.tweety.logics.commons.syntax.interfaces.Term<?> right,
                  net.sf.tweety.logics.commons.syntax.interfaces.Term<?> result)

Arithmetic

public Arithmetic(Arithmetic other)

Copy-Ctor

Parameters:

other -

Method Detail

getResult

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

Returns:

the term Z giving the result of the arithmetic expression: Z=X+Y or the third argument of an build-in function #func(X,Y,Z)

getLeftArgument

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

Returns:

the term X on the left of an arithmetic expression: Z=X+Y or the first argument of an build-in function #func(X,Y,Z)

getRightArgument

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

Returns:

the term Y on the right of the arithmetic expression: Z=X+Y or the second argument of an build-in function #func(X,Y,Z)

getOperator

public String getOperator()

Returns:

the operator or the id of the build-in function

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

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

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 Arithmetic 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

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 Arithmetic 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