net.sf.tweety.lp.asp.syntax

Interface DLPLiteral

All Superinterfaces:

Atom, java.lang.Comparable<DLPLiteral>, ComplexLogicalFormula, DLPElement, Formula, Invertable, LogicStructure, SimpleLogicalFormula

All Known Implementing Classes:

DLPAtom, DLPNeg

public interface DLPLiteral
extends DLPElement, Atom, Invertable, java.lang.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

Atom.AtomImpl, Atom.RETURN_SET_PREDICATE

Method Summary

Modifier and Type	Method and Description
DLPLiteral	cloneWithAddedTerm(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(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

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(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 Invertable

Returns:

the complement of this formula.

substitute

DLPLiteral substitute(Term<?> v,
                      Term<?> t)
               throws java.lang.IllegalArgumentException

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

Specified by:

substitute in interface DLPElement

Parameters:

v - the term to be substituted.

t - the term to substitute.

Returns:

a formula where every occurrence of "v" is replaced by "t".

Throws:

java.lang.IllegalArgumentException - if "v" and "t" are of different sorts