Uses of Interface
net.sf.tweety.lp.asp.syntax.DLPLiteral

Packages that use DLPLiteral

Package	Description
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.asp.util

Uses of DLPLiteral in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return DLPLiteral

Modifier and Type	Method and Description
DLPLiteral	InstantiateVisitor.visit(ASTAtom node, Object data)

Methods in net.sf.tweety.lp.asp.parser that return types with arguments of type DLPLiteral

Modifier and Type	Method and Description
Set<DLPLiteral>	InstantiateVisitor.visit(ASTHead node, Object data)

Uses of DLPLiteral in net.sf.tweety.lp.asp.syntax

Classes in net.sf.tweety.lp.asp.syntax that implement DLPLiteral

Modifier and Type	Class and Description
class	DLPAtom this class models an atom, which is a basic structure for building literals and rules for logic programs
class	DLPNeg This class models strict negation for atoms.

Methods in net.sf.tweety.lp.asp.syntax that return DLPLiteral

Modifier and Type	Method and Description
DLPLiteral	DLPNeg.cloneWithAddedTerm(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> term)
DLPLiteral	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	DLPLiteral.complement()
DLPLiteral	DLPHead.get(int index)
DLPLiteral	DLPHead.remove(int index)
DLPLiteral	DLPHead.set(int index, DLPLiteral element)
DLPLiteral	DLPLiteral.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type DLPLiteral

Modifier and Type	Method and Description
List<DLPLiteral>	DLPHead.getFormulas()
SortedSet<DLPLiteral>	DLPAtom.getLiterals()
SortedSet<DLPLiteral>	DLPNeg.getLiterals()
SortedSet<DLPLiteral>	Rule.getLiterals()
SortedSet<DLPLiteral>	DLPNot.getLiterals()
SortedSet<DLPLiteral>	DLPHead.getLiterals()
SortedSet<DLPLiteral>	Aggregate.getLiterals()
SortedSet<DLPLiteral>	Comparative.getLiterals()
SortedSet<DLPLiteral>	Arithmetic.getLiterals()
SortedSet<DLPLiteral>	DLPElement.getLiterals()
Iterator<DLPLiteral>	DLPHead.iterator()
ListIterator<DLPLiteral>	DLPHead.listIterator()
ListIterator<DLPLiteral>	DLPHead.listIterator(int index)
List<DLPLiteral>	DLPHead.subList(int fromIndex, int toIndex)

Methods in net.sf.tweety.lp.asp.syntax with parameters of type DLPLiteral

Modifier and Type	Method and Description
boolean	DLPHead.add(DLPLiteral arg0)
void	DLPHead.add(int index, DLPLiteral element)
void	Program.addFact(DLPLiteral fact)
int	DLPAtom.compareTo(DLPLiteral o)
int	DLPNeg.compareTo(DLPLiteral o)
DLPLiteral	DLPHead.set(int index, DLPLiteral element)
void	Rule.setConclusion(DLPLiteral literal)

Method parameters in net.sf.tweety.lp.asp.syntax with type arguments of type DLPLiteral

Modifier and Type	Method and Description
boolean	DLPHead.addAll(Collection<? extends DLPLiteral> arg0)
boolean	DLPHead.addAll(int index, Collection<? extends DLPLiteral> c)
Program	Program.reduct(Collection<DLPLiteral> state) Returns the reduct of this program wrt.

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type DLPLiteral

Constructor and Description
DLPHead(DLPLiteral literal) Ctor: Generates a head with one literal
DLPNot(DLPLiteral inner)
Rule(DLPLiteral head) Ctor: Create a rule with the given head, cause there are no body elements the created rule is a fact.
Rule(DLPLiteral head, DLPElement body)
Rule(DLPLiteral head, List<DLPElement> litsBody)

Constructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type DLPLiteral

Constructor and Description
Rule(List<DLPLiteral> litsHead, List<DLPElement> litsBody)

Uses of DLPLiteral in net.sf.tweety.lp.asp.util

Methods in net.sf.tweety.lp.asp.util that return types with arguments of type DLPLiteral

Modifier and Type	Method and Description
Set<DLPLiteral>	AnswerSetList.getFactsByName(String name)
Set<DLPLiteral>	AnswerSetList.getFactsByName(String name, int policy) Returns all the literals in the answer-set which have a given name.
Set<DLPLiteral>	AnswerSet.getLiteralsWithName(String name)

Methods in net.sf.tweety.lp.asp.util with parameters of type DLPLiteral

Modifier and Type	Method and Description
boolean	AnswerSetList.holdsAll(DLPLiteral q) this method returns ture iff all answer sets support q.
boolean	AnswerSetList.holdsOne(DLPLiteral q) this method returns true if at least one answer set support q.

Constructor parameters in net.sf.tweety.lp.asp.util with type arguments of type DLPLiteral

Constructor and Description
AnswerSet(Collection<DLPLiteral> lits, int level, int weight)