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:

Formula, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula, DLPElement

Direct Known Subclasses:

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

public abstract class DLPElementAdapter
extends 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() Creates a deep copy of this formula
java.lang.Class<? extends 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 java.lang.Class<? extends Predicate> getPredicateCls()

Specified by:

getPredicateCls in interface SimpleLogicalFormula

Returns:

The class description of the predicate used by this formula.

clone

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

Specified by:

clone in interface DLPElement

Specified by:

clone in class ComplexLogicalFormulaAdapter