Uses of Class
org.tweetyproject.lp.asp.syntax.ASPLiteral
-
-
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.java.lang.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 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 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, java.lang.Object data)
ASPLiteral
InstantiateVisitor. visit(ASTQuery node, java.lang.Object data)
Methods in org.tweetyproject.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 org.tweetyproject.lp.asp.reasoner
Methods in org.tweetyproject.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 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 java.util.Set<ASPLiteral>
AnswerSet. getLiteralsWithName(java.lang.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 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 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 java.util.List<ASPLiteral>
ClassicalHead. getFormulas()
java.util.SortedSet<ASPLiteral>
AggregateAtom. getLiterals()
java.util.SortedSet<ASPLiteral>
AggregateElement. getLiterals()
java.util.Collection<? extends ASPLiteral>
AggregateHead. 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.abstract java.util.Collection<? extends 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>
ClassicalHead. getLiterals()
Returns all literals in this element in form of a SortedSet.java.util.SortedSet<ASPLiteral>
ComparativeAtom. getLiterals()
java.util.SortedSet<ASPLiteral>
DefaultNegation. getLiterals()
java.util.SortedSet<ASPLiteral>
OptimizationElement. getLiterals()
java.util.SortedSet<ASPLiteral>
OptimizationStatement. getLiterals()
java.util.SortedSet<ASPLiteral>
StrictNegation. getLiterals()
java.util.Iterator<ASPLiteral>
ClassicalHead. iterator()
java.util.ListIterator<ASPLiteral>
ClassicalHead. listIterator()
java.util.ListIterator<ASPLiteral>
ClassicalHead. listIterator(int index)
java.util.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, java.util.Collection<? extends ASPLiteral> c)
boolean
ClassicalHead. addAll(java.util.Collection<? extends ASPLiteral> c)
Program
Program. getReduct(java.util.Set<ASPLiteral> state)
Returns the reduct of this program wrt.Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPLiteral Constructor Description 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.ClassicalHead(ASPLiteral head)
Creates a new head with a single element.Program(ASPLiteral query, java.util.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 Constructor Description ClassicalHead(java.util.List<ASPLiteral> head_elements)
Creates a new head with the given elements.
-