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

Packages that use DLPLiteral

Package	Description
net.sf.tweety.arg.lp
net.sf.tweety.arg.lp.syntax
net.sf.tweety.logics.translators.aspfol
net.sf.tweety.lp.asp.analysis
net.sf.tweety.lp.asp.beliefdynamics.revision
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.arg.lp

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

Modifier and Type	Method and Description
private java.util.Set<DLPLiteral>	ArgumentationKnowledgeBase.getDerivableLiterals(java.util.Collection<Rule> rules) This method returns the set of conclusions of all rules in the collection of rules given.
private java.util.Set<DLPLiteral>	ArgumentationKnowledgeBase.getOpenLiterals(java.util.Collection<Rule> rules) Returns the set of non-default-negated literals that are part of the premise of some rule but not the conclusion of some other rule

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

Modifier and Type	Method and Description
boolean	LiteralReasoner.isJustified(DLPLiteral arg) A literal is called x/y-justified, if a x/y-justified argument with conclusion arg can be constructed from p.
boolean	LiteralReasoner.isOverruled(DLPLiteral arg) A literal is called x/y-overruled, iff it is not x/y-justified.

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

Modifier and Type	Method and Description
private boolean	ArgumentationKnowledgeBase.isTrue(Rule rule, java.util.Set<DLPLiteral> literals) Returns true iff each non-default-negated literal in the premise of rule is contained in the set of literals

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

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

Modifier and Type	Method and Description
java.util.Set<DLPLiteral>	Argument.getAssumptions() Returns the set of assumptions, i.e.
java.util.Set<DLPLiteral>	Argument.getConclusions() Returns the set of conclusions of this argument, which is made up of the heads of all rules contained in this argument.

Uses of DLPLiteral in net.sf.tweety.logics.translators.aspfol

Methods in net.sf.tweety.logics.translators.aspfol with parameters of type DLPLiteral

Modifier and Type	Method and Description
FolFormula	AspFolTranslator.toFOL(DLPLiteral source)

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

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

Modifier and Type	Method and Description
private boolean	SdInconsistencyMeasure.isConsistent(java.util.Collection<DLPLiteral> c) Checks whether the given set of literals is consistent, i.e.

Uses of DLPLiteral in net.sf.tweety.lp.asp.beliefdynamics.revision

Fields in net.sf.tweety.lp.asp.beliefdynamics.revision with type parameters of type DLPLiteral

Modifier and Type	Field and Description
private java.util.Map<DLPLiteral,java.lang.String>	CredibilityRevision.literalMap a map used during the creation of the credibility logic program

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

Modifier and Type	Method and Description
private java.lang.String	CredibilityRevision.translateLiteral(DLPLiteral lit) Helper method: creates a string representing the literal and an literal representing the prioritzed version of the literal.

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, java.lang.Object data)

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

Modifier and Type	Method and Description
java.util.Set<DLPLiteral>	InstantiateVisitor.visit(ASTHead node, java.lang.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.

Fields in net.sf.tweety.lp.asp.syntax declared as DLPLiteral

Modifier and Type	Field and Description
(package private) DLPLiteral	DLPNot.lit

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

Modifier and Type	Field and Description
private AssociativeFormulaSupport<DLPLiteral>	DLPHead.assocSupport

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

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

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

Modifier and Type	Method and Description
java.util.List<DLPLiteral>	DLPHead.getFormulas()
java.util.SortedSet<DLPLiteral>	Rule.getLiterals()
java.util.SortedSet<DLPLiteral>	DLPNot.getLiterals()
java.util.SortedSet<DLPLiteral>	DLPNeg.getLiterals()
java.util.SortedSet<DLPLiteral>	DLPHead.getLiterals()
java.util.SortedSet<DLPLiteral>	DLPElement.getLiterals()
java.util.SortedSet<DLPLiteral>	DLPAtom.getLiterals()
java.util.SortedSet<DLPLiteral>	Comparative.getLiterals()
java.util.SortedSet<DLPLiteral>	Arithmetic.getLiterals()
java.util.SortedSet<DLPLiteral>	Aggregate.getLiterals()
java.util.Iterator<DLPLiteral>	DLPHead.iterator()
java.util.ListIterator<DLPLiteral>	DLPHead.listIterator()
java.util.ListIterator<DLPLiteral>	DLPHead.listIterator(int index)
java.util.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	DLPNeg.compareTo(DLPLiteral o)
int	DLPAtom.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(java.util.Collection<? extends DLPLiteral> arg0)
boolean	DLPHead.addAll(int index, java.util.Collection<? extends DLPLiteral> c)
Program	Program.reduct(java.util.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, java.util.List<DLPElement> litsBody)

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

Constructor and Description
Rule(java.util.List<DLPLiteral> litsHead, java.util.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
java.util.Set<DLPLiteral>	AnswerSetList.getFactsByName(java.lang.String name)
java.util.Set<DLPLiteral>	AnswerSetList.getFactsByName(java.lang.String name, int policy) Returns all the literals in the answer-set which have a given name.
java.util.Set<DLPLiteral>	AnswerSet.getLiteralsWithName(java.lang.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(java.util.Collection<DLPLiteral> lits, int level, int weight)