net.sf.tweety.lp.asp.syntax

Class DLPAtom

java.lang.Object

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

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

net.sf.tweety.lp.asp.syntax.DLPAtom

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 DLPAtom
extends DLPElementAdapter
implements DLPLiteral

this class models an atom, which is a basic structure for building literals and rules for logic programs

Author:

Tim Janus, Thomas Vengels, Matthias Thimm

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

Field Summary

Fields

Modifier and Type	Field and Description
protected List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	arguments a list of arguments of the atom
protected DLPPredicate	pred the predicate identifying the atom

Constructor Summary

Constructors

Constructor and Description
DLPAtom() Default-Ctor: Used for dynamic instantiation
DLPAtom(DLPAtom other) Copy-Ctor: Generates a deep copy of the given atom
DLPAtom(net.sf.tweety.logics.fol.syntax.FOLAtom other) Copy-Ctor: Generates a deep copy of the given FOL atom
DLPAtom(String symbol, List<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms) Creates a predicate for the atom from symbol name and uses a list of terms as arguments for the atom.
DLPAtom(String symbol, net.sf.tweety.logics.commons.syntax.interfaces.Term<?>... terms) Ctor: Creates an atom with the given predicate as name and the given terms as argument

Method Summary

Modifier and Type	Method and Description
void	addArgument(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> arg)
DLPAtom	clone()
DLPAtom	cloneWithAddedTerm(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> tval) Creates a copy of the literal and adds the given term as argument to the end of the argument list.
int	compareTo(DLPLiteral o)
DLPNeg	complement()
boolean	equals(Object o)
List<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getArguments()
int	getArity()
DLPAtom	getAtom()
Set<DLPAtom>	getAtoms()
SortedSet<DLPLiteral>	getLiterals()
String	getName()
DLPPredicate	getPredicate()
Set<DLPPredicate>	getPredicates()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	getTerm(int index)
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)
DLPAtom	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

Field Detail

pred

protected DLPPredicate pred

the predicate identifying the atom

arguments

protected List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> arguments

a list of arguments of the atom

Constructor Detail

DLPAtom

public DLPAtom()

Default-Ctor: Used for dynamic instantiation

DLPAtom

public DLPAtom(DLPAtom other)

Copy-Ctor: Generates a deep copy of the given atom

Parameters:

other - The atom acting as source for the deep copy

DLPAtom

public DLPAtom(net.sf.tweety.logics.fol.syntax.FOLAtom other)

Copy-Ctor: Generates a deep copy of the given FOL atom

Parameters:

other - The FOL atom acting as source for the deep copy

DLPAtom

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

Ctor: Creates an atom with the given predicate as name and the given terms as argument

Parameters:

symbol - The name of the atom

terms - A list of Term defining the arguments of the term

DLPAtom

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

Creates a predicate for the atom from symbol name and uses a list of terms as arguments for the atom. Size of terms determines arity of the predicate.

Method Detail

getAtom

public DLPAtom getAtom()

Specified by:

getAtom in interface DLPLiteral

Returns:

The atom representing the literal.

getArity

public int getArity()

toString

public String toString()

Overrides:

toString in class Object

getTerm

public net.sf.tweety.logics.commons.syntax.interfaces.Term<?> getTerm(int index)

cloneWithAddedTerm

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

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:

tval - 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

equals

public boolean equals(Object o)

Specified by:

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

Overrides:

equals in class Object

clone

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

getName

public String getName()

Specified by:

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

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

complement

public DLPNeg complement()

Specified by:

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

Specified by:

complement in interface DLPLiteral

substitute

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

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>