net.sf.tweety.lp.asp.syntax

Class DLPNeg

java.lang.Object

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

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

net.sf.tweety.lp.asp.syntax.DLPNeg

All Implemented Interfaces:

Comparable<DLPLiteral>, 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, DLPElement, DLPLiteral

public class DLPNeg
extends DLPElementAdapter
implements DLPLiteral

This class models strict negation for atoms.

Author:

Tim Janus, Thomas Vengels

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
DLPNeg(DLPAtom inner)
DLPNeg(DLPNeg other)
DLPNeg(String expr)
DLPNeg(String symbol, List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms) default constructor, create an atom from a functor name and a list of terms.
DLPNeg(String symbol, net.sf.tweety.logics.commons.syntax.interfaces.Term<?>... terms)

Method Summary

Modifier and Type	Method and Description
void	addArgument(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> arg)
DLPNeg	clone()
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.
int	compareTo(DLPLiteral o)
DLPAtom	complement()
boolean	equals(Object o)
List<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getArguments()
DLPAtom	getAtom()
Set<DLPAtom>	getAtoms()
SortedSet<DLPLiteral>	getLiterals()
String	getName()
DLPPredicate	getPredicate()
Set<DLPPredicate>	getPredicates()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
int	hashCode()
boolean	isComplete()
boolean	isGround()
net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE	setPredicate(net.sf.tweety.logics.commons.syntax.Predicate predicate)
DLPNeg	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
String	toString()

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

getPredicateCls

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

containsTermsOfType, exchange, getTerms, isLiteral, isWellFormed, substitute

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

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

exchange, isWellFormed, substitute

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

getPredicateCls, isLiteral

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

containsTermsOfType, getTerms

Constructor Detail

DLPNeg

public DLPNeg(DLPAtom inner)

DLPNeg

public DLPNeg(DLPNeg other)

DLPNeg

public DLPNeg(String symbol,
              net.sf.tweety.logics.commons.syntax.interfaces.Term<?>... terms)

DLPNeg

public DLPNeg(String symbol,
              List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms)

default constructor, create an atom from a functor name and a list of terms. size of terms determines arity of functor.

Parameters:

symbol - the functor name

terms - the terms (arguments) of the atom

DLPNeg

public DLPNeg(String expr)

Method Detail

getAtom

public DLPAtom getAtom()

Specified by:

getAtom in interface DLPLiteral

Returns:

The atom representing the literal.

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Specified by:

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

Overrides:

equals in class Object

isGround

public boolean isGround()

Specified by:

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

Overrides:

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

clone

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

Specified by:

clone in class DLPElementAdapter

complement

public DLPAtom complement()

Specified by:

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

Specified by:

complement in interface DLPLiteral

cloneWithAddedTerm

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

Description copied from interface: DLPLiteral

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

Specified by:

cloneWithAddedTerm in interface DLPLiteral

Parameters:

term - the new argument.

Returns:

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

hashCode

public int hashCode()

Specified by:

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

Overrides:

hashCode in class Object

substitute

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

Specified by:

substitute in interface DLPLiteral

Throws:

IllegalArgumentException

getAtoms

public Set<DLPAtom> getAtoms()

Specified by:

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

Specified by:

getAtoms in interface DLPElement

getPredicates

public Set<DLPPredicate> getPredicates()

Specified by:

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

Specified by:

getPredicates in interface DLPElement

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in interface DLPElement

getTerms

public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

getName

public String getName()

Specified by:

getName in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

getPredicate

public DLPPredicate getPredicate()

Specified by:

getPredicate in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

setPredicate

public net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE setPredicate(net.sf.tweety.logics.commons.syntax.Predicate predicate)

Specified by:

setPredicate in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

addArgument

public void addArgument(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> arg)
                 throws net.sf.tweety.logics.commons.error.LanguageException

Specified by:

addArgument in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

Throws:

net.sf.tweety.logics.commons.error.LanguageException

getArguments

public List<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getArguments()

Specified by:

getArguments in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

isComplete

public boolean isComplete()

Specified by:

isComplete in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

getLiterals

public SortedSet<DLPLiteral> getLiterals()

Specified by:

getLiterals in interface DLPElement

Returns:

all the literals used in the rule element

compareTo

public int compareTo(DLPLiteral o)

Specified by:

compareTo in interface Comparable<DLPLiteral>