net.sf.tweety.lp.asp.syntax

Class DLPElementAdapter

java.lang.Object

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

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

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

Direct Known Subclasses:

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

public abstract class DLPElementAdapter
extends net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
implements DLPElement

This class acts as an abstract base class for classes that implement the ELPElement interface.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor and Description
DLPElementAdapter()

Method Summary

Modifier and Type	Method and Description
abstract DLPElement	clone()
Class<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicateCls()

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

containsTermsOfType, exchange, getTerms, isGround, isLiteral, isWellFormed, substitute

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.sf.tweety.lp.asp.syntax.DLPElement

getAtoms, getLiterals, getPredicates, getSignature, substitute

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, hashCode, isLiteral

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

containsTermsOfType, getTerms, getTerms

Constructor Detail

DLPElementAdapter

public DLPElementAdapter()

Method Detail

getPredicateCls

public Class<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicateCls()

Specified by:

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

clone

public abstract 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

Specified by:

clone in interface DLPElement

Overrides:

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