net.sf.tweety.lp.asp.syntax

Class ASPLiteral

java.lang.Object

net.sf.tweety.lp.asp.syntax.ASPElement

net.sf.tweety.lp.asp.syntax.ASPBodyElement

net.sf.tweety.lp.asp.syntax.ASPLiteral

All Implemented Interfaces:

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

Direct Known Subclasses:

ASPAtom, StrictNegation

public abstract class ASPLiteral
extends ASPBodyElement
implements net.sf.tweety.logics.commons.syntax.interfaces.Atom, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, Comparable<ASPLiteral>

This interface defines common functionality for literals, meaning atoms or strictly negated atoms. In the ASP-Core-2 standard, the formulas represented by this class are also referred to as 'classical atoms'.

Author:

Anna Gessler, 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

Constructor Summary

Constructors

Constructor and Description
ASPLiteral()

Method Summary

Modifier and Type	Method and Description
abstract ASPLiteral	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.
abstract ASPLiteral	complement()
abstract ASPAtom	getAtom()
boolean	isLiteral()

Methods inherited from class net.sf.tweety.lp.asp.syntax.ASPBodyElement

getLiterals, substitute

Methods inherited from class net.sf.tweety.lp.asp.syntax.ASPElement

clone, containsTermsOfType, exchange, getAtoms, getPredicateCls, getPredicates, getSignature, isGround, 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.logics.commons.syntax.interfaces.Atom

addArgument, getArguments, getName, getPredicate, isComplete, setPredicate

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

clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode

Methods inherited from interface net.sf.tweety.commons.Formula

getSignature

Methods inherited from interface java.lang.Comparable

compareTo

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

getTerms, getTerms

Constructor Detail

ASPLiteral

public ASPLiteral()

Method Detail

cloneWithAddedTerm

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

public abstract ASPAtom getAtom()

Returns:

The atom representing the literal.

isLiteral

public boolean isLiteral()

Specified by:

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

complement

public abstract ASPLiteral complement()

Specified by:

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