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

Packages that use ASPLiteral

Package	Description
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.lp.asp.parser

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

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

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

Modifier and Type	Method and Description
List<ASPLiteral>	InstantiateVisitor.visit(ASTHeadElementsList node, 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 and Description
Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula)
abstract Boolean	ASPSolver.query(Program beliefbase, ASPLiteral formula)
Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula)
Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula, net.sf.tweety.commons.InferenceMode inferenceMode)
Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula, net.sf.tweety.commons.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 and Description
Set<ASPLiteral>	AnswerSet.getLiteralsWithName(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 and Description
AnswerSet(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 and 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 and Description
abstract ASPLiteral	ASPLiteral.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.
ASPLiteral	StrictNegation.cloneWithAddedTerm(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> term)
abstract ASPLiteral	ASPLiteral.complement()
ASPLiteral	StrictNegation.complement()
ASPLiteral	ASPAtom.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 and Description
List<ASPLiteral>	ASPHead.getFormulas()
SortedSet<ASPLiteral>	ComparativeAtom.getLiterals()
SortedSet<ASPLiteral>	ASPHead.getLiterals() Returns all literals in this element in form of a SortedSet.
SortedSet<ASPLiteral>	AggregateAtom.getLiterals()
SortedSet<ASPLiteral>	StrictNegation.getLiterals()
Collection<? extends ASPLiteral>	ASPRule.getLiterals()
SortedSet<ASPLiteral>	ASPAtom.getLiterals()
SortedSet<ASPLiteral>	AggregateElement.getLiterals()
abstract SortedSet<ASPLiteral>	ASPBodyElement.getLiterals() Returns all literals in this element in form of a SortedSet.
SortedSet<ASPLiteral>	DefaultNegation.getLiterals()
Iterator<ASPLiteral>	ASPHead.iterator()
ListIterator<ASPLiteral>	ASPHead.listIterator()
ListIterator<ASPLiteral>	ASPHead.listIterator(int index)
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 and Description
boolean	ASPHead.add(ASPLiteral e)
void	ASPHead.add(int index, ASPLiteral element)
void	Program.addFact(ASPLiteral fact)
void	ASPRule.addToHead(ASPLiteral h)
int	StrictNegation.compareTo(ASPLiteral o)
int	ASPAtom.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 and Description
boolean	ASPHead.addAll(Collection<? extends ASPLiteral> c)
boolean	ASPHead.addAll(int index, Collection<? extends ASPLiteral> c)
Program	Program.reduct(Set<ASPLiteral> state) Returns the reduct of this program wrt.

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

Constructor and 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, ASPBodyElement b) Creates a rule with the given head and a single-element body.
ASPRule(ASPLiteral head, List<ASPBodyElement> body) Creates a rule with the given head and body.
Program(ASPLiteral query, 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 and Description
ASPHead(List<ASPLiteral> head_elements) Creates a new head with the given elements.