net.sf.tweety.lp.asp.syntax

Interface DLPElement

All Superinterfaces:

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

All Known Subinterfaces:

DLPLiteral

All Known Implementing Classes:

Aggregate, Arithmetic, Comparative, DLPAtom, DLPElementAdapter, DLPHead, DLPNeg, DLPNot, Rule

public interface DLPElement
extends net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

This interface defines base methods every element of a program has to provide.

Author:

Tim Janus

Method Summary

Modifier and Type	Method and Description
DLPElement	clone()
Set<DLPAtom>	getAtoms()
SortedSet<DLPLiteral>	getLiterals()
Set<DLPPredicate>	getPredicates()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
DLPElement	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)

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

exchange, isGround, isWellFormed, substitute

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

equals, getPredicateCls, hashCode, isLiteral

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

containsTermsOfType, getTerms, getTerms

Method Detail

getLiterals

SortedSet<DLPLiteral> getLiterals()

Returns:

all the literals used in the rule element

getPredicates

Set<DLPPredicate> getPredicates()

Specified by:

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

getAtoms

Set<DLPAtom> getAtoms()

Specified by:

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

substitute

DLPElement 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

getSignature

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

Specified by:

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

clone

DLPElement 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