net.sf.tweety.lp.asp.syntax

Interface DLPLiteral

All Superinterfaces:

net.sf.tweety.logics.commons.syntax.interfaces.Atom, Comparable<DLPLiteral>, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, DLPElement, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

All Known Implementing Classes:

DLPAtom, DLPNeg

public interface DLPLiteral
extends DLPElement, net.sf.tweety.logics.commons.syntax.interfaces.Atom, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, Comparable<DLPLiteral>

This interface defines common functionality for an ELP literal. literals are atoms or strictly negated atoms.

Author:

Tim Janus

Nested Class Summary

Nested classes/interfaces inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl, net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE

Method Summary

Modifier and Type	Method and Description
DLPLiteral	cloneWithAddedTerm(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> term) Creates a copy of the literal and adds the given term as argument to the end of the argument list.
DLPLiteral	complement()
DLPAtom	getAtom()
DLPLiteral	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

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

clone, getAtoms, getLiterals, getPredicates, getSignature

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

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

addArgument, getArguments, getName, getPredicate, isComplete, setPredicate

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

cloneWithAddedTerm

DLPLiteral cloneWithAddedTerm(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> term)

Creates a copy of the literal and adds the given term as argument to the end of the argument list.

Parameters:

term - the new argument.

Returns:

A copy of the literal containing the given term as new argument.

getAtom

DLPAtom getAtom()

Returns:

The atom representing the literal.

complement

DLPLiteral complement()

Specified by:

complement in interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable

substitute

DLPLiteral substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                      net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
               throws IllegalArgumentException

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in interface DLPElement

Throws:

IllegalArgumentException