net.sf.tweety.lp.asp.syntax

Interface DLPElement

All Superinterfaces:

ComplexLogicalFormula, Formula, LogicStructure, SimpleLogicalFormula

All Known Subinterfaces:

DLPLiteral

All Known Implementing Classes:

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

public interface DLPElement
extends 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() Creates a deep copy of this formula
java.util.Set<DLPAtom>	getAtoms() Processes the set of all atoms which appear in this formula
java.util.SortedSet<DLPLiteral>	getLiterals()
java.util.Set<DLPPredicate>	getPredicates() Processes the set of all predicates which appear in this formula
FolSignature	getSignature() Returns the signature of the language of this formula.
DLPElement	substitute(Term<?> t, Term<?> v) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

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

java.util.SortedSet<DLPLiteral> getLiterals()

Returns:

all the literals used in the rule element

getPredicates

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

Returns:

all predicates that appear in this formula

getAtoms

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

Returns:

The set of all atoms

substitute

DLPElement 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

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

FolSignature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

clone

DLPElement 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