Uses of Class
net.sf.tweety.lp.asp.syntax.ASPLiteral

Packages that use ASPLiteral

Package	Description
net.sf.tweety.arg.lp.reasoner
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.reasoner
net.sf.tweety.lp.asp.semantics
net.sf.tweety.lp.asp.syntax

Uses of ASPLiteral in net.sf.tweety.arg.lp.reasoner

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

Modifier and Type	Method	Description
boolean	LiteralReasoner.isJustified(ArgumentationKnowledgeBase kb, ASPLiteral 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(ArgumentationKnowledgeBase kb, ASPLiteral arg)	A literal is called x/y-overruled, iff it is not x/y-justified.
java.lang.Boolean	LiteralReasoner.query(ArgumentationKnowledgeBase kb, ASPLiteral query)

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

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

Modifier and Type	Method	Description
java.util.Set<ASPLiteral>	Argument.getAssumptions()	Returns the set of assumptions, i.e.
java.util.Set<ASPLiteral>	Argument.getConclusions()	Returns the set of conclusions of this argument, which is made up of the heads of all rules contained in this argument.
private java.util.Set<ASPLiteral>	ArgumentationKnowledgeBase.getDerivableLiterals(java.util.Collection<ASPRule> rules)	This method returns the set of conclusions of all rules in the collection of rules given.
private java.util.Set<ASPLiteral>	ArgumentationKnowledgeBase.getOpenLiterals(java.util.Collection<ASPRule> 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

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

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

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

Methods in net.sf.tweety.logics.translators.aspfol that return ASPLiteral

Modifier and Type	Method	Description
ASPLiteral	AspFolTranslator.toASP(FolFormula source)

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

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

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

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

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

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

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

Modifier and Type	Field	Description
private java.util.Map<ASPLiteral,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 ASPLiteral

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

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

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

Modifier and Type	Method	Description
ASPLiteral	InstantiateVisitor.visit(ASTLiteral node, java.lang.Object data)
ASPLiteral	InstantiateVisitor.visit(ASTQuery node, java.lang.Object data)

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

Modifier and Type	Method	Description
java.util.List<ASPLiteral>	InstantiateVisitor.visit(ASTHeadElementsList node, java.lang.Object data)

Uses of ASPLiteral in net.sf.tweety.lp.asp.reasoner

Methods in net.sf.tweety.lp.asp.reasoner with parameters of type ASPLiteral

Modifier and Type	Method	Description
abstract java.lang.Boolean	ASPSolver.query(Program beliefbase, ASPLiteral formula)
java.lang.Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula)
java.lang.Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)
java.lang.Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula)
java.lang.Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)

Uses of ASPLiteral in net.sf.tweety.lp.asp.semantics

Methods in net.sf.tweety.lp.asp.semantics that return types with arguments of type ASPLiteral

Modifier and Type	Method	Description
java.util.Set<ASPLiteral>	AnswerSet.getLiteralsWithName(java.lang.String name)	Returns all literals of a given name in the AnswerSet.

Constructor parameters in net.sf.tweety.lp.asp.semantics with type arguments of type ASPLiteral

Constructor	Description
AnswerSet(java.util.Collection<ASPLiteral> lits, int level, int weight)	Creates a new empty AnswerSet with the given level and weight.

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

Subclasses of ASPLiteral in net.sf.tweety.lp.asp.syntax

Modifier and Type	Class	Description
class	ASPAtom	This class models an atom, which is a basic structure for building literals and rules for logic programs.
class	StrictNegation	This class models the strict negation of an atom (as apposed to a NAF negation: DefaultNegation).

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

Modifier and Type	Field	Description
private ASPLiteral	Program.query	A single query.

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

Modifier and Type	Field	Description
private AssociativeFormulaSupport<ASPLiteral>	ASPHead.assocSupport

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

Modifier and Type	Method	Description
abstract ASPLiteral	ASPLiteral.cloneWithAddedTerm(Term<?> term)	Creates a copy of the literal and adds the given term as argument to the end of the argument list.
ASPLiteral	StrictNegation.cloneWithAddedTerm(Term<?> term)
ASPLiteral	ASPAtom.complement()
abstract ASPLiteral	ASPLiteral.complement()
ASPLiteral	StrictNegation.complement()
ASPLiteral	ASPHead.get(int index)
ASPLiteral	Program.getQuery()	Returns the query of the program, if there is one.
ASPLiteral	ASPHead.remove(int index)
ASPLiteral	ASPHead.set(int index, ASPLiteral element)

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

Modifier and Type	Method	Description
java.util.List<ASPLiteral>	ASPHead.getFormulas()
java.util.SortedSet<ASPLiteral>	AggregateAtom.getLiterals()
java.util.SortedSet<ASPLiteral>	AggregateElement.getLiterals()
java.util.SortedSet<ASPLiteral>	ASPAtom.getLiterals()
abstract java.util.SortedSet<ASPLiteral>	ASPBodyElement.getLiterals()	Returns all literals in this element in form of a SortedSet.
java.util.SortedSet<ASPLiteral>	ASPHead.getLiterals()	Returns all literals in this element in form of a SortedSet.
java.util.Collection<? extends ASPLiteral>	ASPRule.getLiterals()
java.util.SortedSet<ASPLiteral>	ComparativeAtom.getLiterals()
java.util.SortedSet<ASPLiteral>	DefaultNegation.getLiterals()
java.util.SortedSet<ASPLiteral>	StrictNegation.getLiterals()
java.util.Iterator<ASPLiteral>	ASPHead.iterator()
java.util.ListIterator<ASPLiteral>	ASPHead.listIterator()
java.util.ListIterator<ASPLiteral>	ASPHead.listIterator(int index)
java.util.List<ASPLiteral>	ASPHead.subList(int fromIndex, int toIndex)

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

Modifier and Type	Method	Description
void	ASPHead.add(int index, ASPLiteral element)
boolean	ASPHead.add(ASPLiteral e)
void	Program.addFact(ASPLiteral fact)
void	ASPRule.addToHead(ASPLiteral h)
int	ASPAtom.compareTo(ASPLiteral o)
int	StrictNegation.compareTo(ASPLiteral o)
ASPLiteral	ASPHead.set(int index, ASPLiteral element)
void	ASPRule.setConclusion(ASPLiteral head)
void	Program.setQuery(ASPLiteral query)	Sets the query of the program.

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

Modifier and Type	Method	Description
boolean	ASPHead.addAll(int index, java.util.Collection<? extends ASPLiteral> c)
boolean	ASPHead.addAll(java.util.Collection<? extends ASPLiteral> c)
Program	Program.reduct(java.util.Set<ASPLiteral> state)	Returns the reduct of this program wrt.

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

Constructor	Description
ASPHead(ASPLiteral head)	Creates a new head with a single element.
ASPRule(ASPLiteral literal)	Creates a fact with the given literal.
ASPRule(ASPLiteral head, java.util.List<ASPBodyElement> body)	Creates a rule with the given head and body.
ASPRule(ASPLiteral head, ASPBodyElement b)	Creates a rule with the given head and a single-element body.
Program(ASPLiteral query, java.util.Set<ASPRule> rules)	Creates a new program with the given query and rules.

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

Constructor	Description
ASPHead(java.util.List<ASPLiteral> head_elements)	Creates a new head with the given elements.