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

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.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`).

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)`
`boolean`	ASPHead.`add(ASPLiteral... formulas)`	Adds the specified elements to the end of this collection (optional operation).
`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.