Uses of Class
org.tweetyproject.lp.asp.syntax.ASPLiteral
Packages that use ASPLiteral
Package
Description
-
Uses of ASPLiteral in org.tweetyproject.arg.lp.reasoner
Methods in org.tweetyproject.arg.lp.reasoner with parameters of type ASPLiteralModifier and TypeMethodDescriptionboolean
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.LiteralReasoner.query
(ArgumentationKnowledgeBase kb, ASPLiteral query) Evaluates a query against the given argumentation knowledge base to determine if the query is justified based on the arguments in the knowledge base. -
Uses of ASPLiteral in org.tweetyproject.arg.lp.syntax
Methods in org.tweetyproject.arg.lp.syntax that return types with arguments of type ASPLiteralModifier and TypeMethodDescriptionArgument.getAssumptions()
Returns the set of assumptions, i.e.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 ASPLiteralModifier and TypeMethodDescriptionAspFolTranslator.toASP
(FolFormula source) Translates a FolFormula to an ASPLiteral.Methods in org.tweetyproject.logics.translators.aspfol with parameters of type ASPLiteralModifier and TypeMethodDescriptionAspFolTranslator.toFOL
(ASPLiteral source) Translates an ASPLiteral to a FolFormula. -
Uses of ASPLiteral in org.tweetyproject.lp.asp.parser
Methods in org.tweetyproject.lp.asp.parser that return ASPLiteralMethods in org.tweetyproject.lp.asp.parser that return types with arguments of type ASPLiteralModifier and TypeMethodDescriptionInstantiateVisitor.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 ASPLiteralModifier and TypeMethodDescriptionabstract Boolean
ASPSolver.query
(Program beliefbase, ASPLiteral formula) ClingoSolver.query
(Program beliefbase, ASPLiteral formula) ClingoSolver.query
(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode) Evaluates a query on the given belief base using the specified inference mode.DLVSolver.query
(Program beliefbase, ASPLiteral formula) DLVSolver.query
(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode) Evaluates a query on the given belief base using the specified inference mode. -
Uses of ASPLiteral in org.tweetyproject.lp.asp.semantics
Methods in org.tweetyproject.lp.asp.semantics that return types with arguments of type ASPLiteralModifier and TypeMethodDescriptionAnswerSet.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 ASPLiteralModifierConstructorDescriptionAnswerSet
(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.syntaxModifier and TypeClassDescriptionclass
This class models an atom, which is a basic structure for building literals and rules for logic programs.class
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 ASPLiteralModifier and TypeMethodDescriptionabstract 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.StrictNegation.cloneWithAddedTerm
(Term<?> term) ASPAtom.complement()
abstract ASPLiteral
ASPLiteral.complement()
StrictNegation.complement()
ClassicalHead.get
(int index) Program.getQuery()
Returns the query of the program, if there is one.ClassicalHead.remove
(int index) ClassicalHead.set
(int index, ASPLiteral element) Methods in org.tweetyproject.lp.asp.syntax that return types with arguments of type ASPLiteralModifier and TypeMethodDescriptionClassicalHead.getFormulas()
AggregateAtom.getLiterals()
AggregateElement.getLiterals()
Retrieves a sorted set of all the ASP literals present in the body elements of this rule.Collection
<? extends ASPLiteral> AggregateHead.getLiterals()
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()
Retrieves all the literals contained within this rule.ChoiceElement.getLiterals()
sorted literalsChoiceHead.getLiterals()
ClassicalHead.getLiterals()
Returns all literals in this element in form of a SortedSet.ComparativeAtom.getLiterals()
DefaultNegation.getLiterals()
OptimizationElement.getLiterals()
GetterOptimizationStatement.getLiterals()
StrictNegation.getLiterals()
ClassicalHead.iterator()
ClassicalHead.listIterator()
ClassicalHead.listIterator
(int index) ClassicalHead.subList
(int fromIndex, int toIndex) Methods in org.tweetyproject.lp.asp.syntax with parameters of type ASPLiteralModifier and TypeMethodDescriptionvoid
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) 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 ASPLiteralModifier and TypeMethodDescriptionboolean
ClassicalHead.addAll
(int index, Collection<? extends ASPLiteral> c) boolean
ClassicalHead.addAll
(Collection<? extends ASPLiteral> c) Program.getReduct
(Set<ASPLiteral> state) Returns the reduct of this program wrt.Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPLiteralModifierConstructorDescriptionASPRule
(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 ASPLiteralModifierConstructorDescriptionClassicalHead
(List<ASPLiteral> headElements) Creates a new head with the given elements.