Uses of Class
org.tweetyproject.lp.asp.syntax.ASPLiteral

Packages that use ASPLiteral

Package	Description
org.tweetyproject.arg.lp.reasoner
org.tweetyproject.arg.lp.syntax
org.tweetyproject.logics.translators.aspfol
org.tweetyproject.lp.asp.parser
org.tweetyproject.lp.asp.reasoner
org.tweetyproject.lp.asp.semantics
org.tweetyproject.lp.asp.syntax

Uses of ASPLiteral in org.tweetyproject.arg.lp.reasoner

Methods in org.tweetyproject.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.
Boolean	LiteralReasoner.query(ArgumentationKnowledgeBase kb, ASPLiteral query)

Uses of ASPLiteral in org.tweetyproject.arg.lp.syntax

Methods in org.tweetyproject.arg.lp.syntax that return types with arguments of type ASPLiteral

Modifier and Type	Method	Description
Set<ASPLiteral>	Argument.getAssumptions()	Returns the set of assumptions, i.e.
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.

Uses of ASPLiteral in org.tweetyproject.logics.translators.aspfol

Methods in org.tweetyproject.logics.translators.aspfol that return ASPLiteral

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

Methods in org.tweetyproject.logics.translators.aspfol with parameters of type ASPLiteral

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

Uses of ASPLiteral in org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.lp.asp.parser that return ASPLiteral

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

Methods in org.tweetyproject.lp.asp.parser that return types with arguments of type ASPLiteral

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

Uses of ASPLiteral in org.tweetyproject.lp.asp.reasoner

Methods in org.tweetyproject.lp.asp.reasoner with parameters of type ASPLiteral

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

Uses of ASPLiteral in org.tweetyproject.lp.asp.semantics

Methods in org.tweetyproject.lp.asp.semantics that return types with arguments of type ASPLiteral

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

Constructor parameters in org.tweetyproject.lp.asp.semantics with type arguments of type ASPLiteral

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

Uses of ASPLiteral in org.tweetyproject.lp.asp.syntax

Subclasses of ASPLiteral in org.tweetyproject.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 opposed to a default negation: DefaultNegation).

Methods in org.tweetyproject.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	ClassicalHead.get(int index)
ASPLiteral	Program.getQuery()	Returns the query of the program, if there is one.
ASPLiteral	ClassicalHead.remove(int index)
ASPLiteral	ClassicalHead.set(int index, ASPLiteral element)

Methods in org.tweetyproject.lp.asp.syntax that return types with arguments of type ASPLiteral

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

Methods in org.tweetyproject.lp.asp.syntax with parameters of type ASPLiteral

Modifier and Type	Method	Description
void	ClassicalHead.add(int index, ASPLiteral element)
boolean	ClassicalHead.add(ASPLiteral e)
boolean	ClassicalHead.add(ASPLiteral... formulas)	Adds the specified elements to the end of this collection (optional operation).
void	Program.addFact(ASPLiteral fact)	Adds a fact to this program.
void	ASPRule.addToHead(ASPLiteral literal)	Add the given literal to the head of the rule.
int	ASPAtom.compareTo(ASPLiteral o)
int	StrictNegation.compareTo(ASPLiteral o)
ASPLiteral	ClassicalHead.set(int index, ASPLiteral element)
void	ASPRule.setConclusion(ASPLiteral head)	Set the conclusion of this rule.
void	ASPRule.setHead(ASPLiteral head)	Set the head of this rule.
void	Program.setQuery(ASPLiteral query)	Sets the query of the program.

Method parameters in org.tweetyproject.lp.asp.syntax with type arguments of type ASPLiteral

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

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPLiteral

Modifier	Constructor	Description
	ASPRule(ASPLiteral literal)	Creates a fact with the given literal.
	ASPRule(ASPLiteral head, 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.
	ChoiceElement(ASPLiteral atom)	Create a new choice element with the given atom.
	ChoiceElement(ASPLiteral atom, List<ASPBodyElement> elements)	Create a new choice element with the given atom and list of literals.
	ClassicalHead(ASPLiteral head)	Creates a new head with a single element.
	Program(ASPLiteral query, Set<ASPRule> rules)	Creates a new program with the given query and rules.

Constructor parameters in org.tweetyproject.lp.asp.syntax with type arguments of type ASPLiteral

Modifier	Constructor	Description
	ClassicalHead(List<ASPLiteral> headElements)	Creates a new head with the given elements.