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

Packages that use ASPRule

Package	Description
net.sf.tweety.arg.lp.syntax
net.sf.tweety.argumentation.parameterisedhierarchy
net.sf.tweety.logics.translators.aspnlp
net.sf.tweety.lp.asp.beliefdynamics.baserevision
net.sf.tweety.lp.asp.beliefdynamics.gui
net.sf.tweety.lp.asp.beliefdynamics.revision
net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.semantics
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.asp.writer

Uses of ASPRule in net.sf.tweety.arg.lp.syntax

Methods in net.sf.tweety.arg.lp.syntax with parameters of type ASPRule

Modifier and Type	Method	Description
private boolean	ArgumentationKnowledgeBase.isTrue(ASPRule rule, java.util.Set<ASPLiteral> literals)	Returns true iff each non-default-negated literal in the premise of rule is contained in the set of literals

Method parameters in net.sf.tweety.arg.lp.syntax with type arguments of type ASPRule

Modifier and Type	Method	Description
private java.util.Set<Argument>	ArgumentationKnowledgeBase.getArguments(java.util.LinkedList<ASPRule> rules)	Recursively constructions minimal arguments in a bottom-up fashion.
private java.util.Set<ASPLiteral>	ArgumentationKnowledgeBase.getDerivableLiterals(java.util.Collection<ASPRule> rules)	This method returns the set of conclusions of all rules in the collection of rules given.
private java.util.Set<ASPLiteral>	ArgumentationKnowledgeBase.getOpenLiterals(java.util.Collection<ASPRule> rules)	Returns the set of non-default-negated literals that are part of the premise of some rule but not the conclusion of some other rule

Constructors in net.sf.tweety.arg.lp.syntax with parameters of type ASPRule

Constructor	Description
Argument(ASPRule rule)

Constructor parameters in net.sf.tweety.arg.lp.syntax with type arguments of type ASPRule

Constructor	Description
Argument(java.util.List<ASPRule> rules)

Uses of ASPRule in net.sf.tweety.argumentation.parameterisedhierarchy

Fields in net.sf.tweety.argumentation.parameterisedhierarchy declared as ASPRule

Modifier and Type	Field	Description
(package private) ASPRule	ArgumentationReasonerTest.r1
(package private) ASPRule	ArgumentationReasonerTest.r2
(package private) ASPRule	ArgumentationReasonerTest.r3
(package private) ASPRule	ArgumentationReasonerTest.r4
(package private) ASPRule	ArgumentationReasonerTest.r5
(package private) ASPRule	ArgumentationReasonerTest.r6
(package private) ASPRule	ArgumentationReasonerTest.r7
(package private) ASPRule	ArgumentationReasonerTest.r8

Uses of ASPRule in net.sf.tweety.logics.translators.aspnlp

Methods in net.sf.tweety.logics.translators.aspnlp with parameters of type ASPRule

Modifier and Type	Method	Description
(package private) NLPRule	AspNlpTranslator.toNLP(ASPRule rule)	Translates the given ASP rule to a NLP-rule.

Uses of ASPRule in net.sf.tweety.lp.asp.beliefdynamics.baserevision

Fields in net.sf.tweety.lp.asp.beliefdynamics.baserevision with type parameters of type ASPRule

Modifier and Type	Field	Description
private SelectionFunction<ASPRule>	ELPBaseRevisionOperator.selection
private SelectionFunction<ASPRule>	ScreenedMaxichoiceConsolidation.selection

Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision that return types with arguments of type ASPRule

Modifier and Type	Method	Description
java.util.Collection<ASPRule>	ScreenedMaxichoiceConsolidation.consolidate(java.util.Collection<ASPRule> p)
java.util.Collection<ASPRule>	ELPBaseRevisionOperator.revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>	MonotoneGlobalMaxichoiceSelectionFunction.select(RemainderSets<ASPRule> remainderSets)
java.util.Collection<ASPRule>	MonotoneGlobalMaxichoiceSelectionFunction.select(ScreenedRemainderSets remainderSets)	Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs.

Method parameters in net.sf.tweety.lp.asp.beliefdynamics.baserevision with type arguments of type ASPRule

Modifier and Type	Method	Description
java.util.Collection<ASPRule>	ScreenedMaxichoiceConsolidation.consolidate(java.util.Collection<ASPRule> p)
java.util.Collection<ASPRule>	ELPBaseRevisionOperator.revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>	MonotoneGlobalMaxichoiceSelectionFunction.select(RemainderSets<ASPRule> remainderSets)

Constructor parameters in net.sf.tweety.lp.asp.beliefdynamics.baserevision with type arguments of type ASPRule

Constructor	Description
ELPBaseRevisionOperator(ASPSolver solver, SelectionFunction<ASPRule> selection)
ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<ASPRule> selection, ASPSolver solver)	Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.

Uses of ASPRule in net.sf.tweety.lp.asp.beliefdynamics.gui

Methods in net.sf.tweety.lp.asp.beliefdynamics.gui that return types with arguments of type ASPRule

Modifier and Type	Method	Description
java.util.Collection<ASPRule>	SimpleRevisionComparePresenter.MockOperator.revise(java.util.Collection<ASPRule> base, ASPRule formula)

Methods in net.sf.tweety.lp.asp.beliefdynamics.gui with parameters of type ASPRule

Modifier and Type	Method	Description
java.util.Collection<ASPRule>	SimpleRevisionComparePresenter.MockOperator.revise(java.util.Collection<ASPRule> base, ASPRule formula)

Method parameters in net.sf.tweety.lp.asp.beliefdynamics.gui with type arguments of type ASPRule

Modifier and Type	Method	Description
java.util.Collection<ASPRule>	SimpleRevisionComparePresenter.MockOperator.revise(java.util.Collection<ASPRule> base, ASPRule formula)

Uses of ASPRule in net.sf.tweety.lp.asp.beliefdynamics.revision

Methods in net.sf.tweety.lp.asp.beliefdynamics.revision that return types with arguments of type ASPRule

Modifier and Type	Method	Description
protected static java.util.List<Pair<ASPRule,ASPRule>>	PreferenceHandling.getConflictingRules(Program p1, Program p2)	Helper method: Finds all pairs of conflicting rules in program p1 and p2.
protected static java.util.List<Pair<ASPRule,ASPRule>>	PreferenceHandling.getConflictingRules(Program p1, Program p2)	Helper method: Finds all pairs of conflicting rules in program p1 and p2.

Method parameters in net.sf.tweety.lp.asp.beliefdynamics.revision with type arguments of type ASPRule

Modifier and Type	Method	Description
Program	CredibilityRevision.revise(java.util.List<java.util.Collection<ASPRule>> ol)
Program	PreferenceHandling.revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)

Uses of ASPRule in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision

Methods in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision that return types with arguments of type ASPRule

Modifier and Type	Method	Description
java.util.Collection<ASPRule>	ParameterisedArgumentativeSelectiveRevisionOperator.revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>	NaiveLiteralTransformationFunction.transform(java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>	NaiveLiteralTransformationFunction.transform(ASPRule rule)	"Transforms" the single fact by either accepting or rejecting it.
java.util.Collection<ASPRule>	ScepticalLiteralTransformationFunction.transform(java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>	ScepticalLiteralTransformationFunction.transform(ASPRule rule)	"Transforms" the single rule by either accepting or rejecting it.

Methods in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision with parameters of type ASPRule

Modifier and Type	Method	Description
java.util.Collection<ASPRule>	NaiveLiteralTransformationFunction.transform(ASPRule rule)	"Transforms" the single fact by either accepting or rejecting it.
java.util.Collection<ASPRule>	ScepticalLiteralTransformationFunction.transform(ASPRule rule)	"Transforms" the single rule by either accepting or rejecting it.

Method parameters in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision with type arguments of type ASPRule

Modifier and Type	Method	Description
java.util.Collection<ASPRule>	ParameterisedArgumentativeSelectiveRevisionOperator.revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>	NaiveLiteralTransformationFunction.transform(java.util.Collection<ASPRule> formulas)
java.util.Collection<ASPRule>	ScepticalLiteralTransformationFunction.transform(java.util.Collection<ASPRule> formulas)

Constructor parameters in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision with type arguments of type ASPRule

Constructor	Description
NaiveLiteralTransformationFunction(java.util.Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)	Creates a new naive transformation function for literals.
ScepticalLiteralTransformationFunction(java.util.Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)	Creates a new sceptical transformation function for literals.

Uses of ASPRule in net.sf.tweety.lp.asp.parser

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

Modifier and Type	Method	Description
static ASPRule	ASPCore2Parser.parseRule(java.io.Reader reader)
static ASPRule	ASPCore2Parser.parseRule(java.lang.String rule)
ASPRule	InstantiateVisitor.visit(ASTChoiceElement node, java.lang.Object data)
ASPRule	InstantiateVisitor.visit(ASTOptElement node, java.lang.Object data)
ASPRule	InstantiateVisitor.visit(ASTRule node, java.lang.Object data)

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

Modifier and Type	Method	Description
java.util.List<ASPRule>	InstantiateVisitor.visit(ASTChoiceElementList node, java.lang.Object data)
java.util.List<ASPRule>	InstantiateVisitor.visit(ASTOptElementList node, java.lang.Object data)
java.util.List<ASPRule>	InstantiateVisitor.visit(ASTOpt node, java.lang.Object data)
java.util.List<ASPRule>	InstantiateVisitor.visit(ASTRuleList node, java.lang.Object data)

Uses of ASPRule in net.sf.tweety.lp.asp.semantics

Methods in net.sf.tweety.lp.asp.semantics with parameters of type ASPRule

Modifier and Type	Method	Description
boolean	AnswerSet.satisfies(ASPRule formula)

Uses of ASPRule in net.sf.tweety.lp.asp.syntax

Fields in net.sf.tweety.lp.asp.syntax with type parameters of type ASPRule

Modifier and Type	Field	Description
private java.util.Set<ASPRule>	Program.rules	The rules of the programs, including facts (rules with no body) and weak constraint (rules with no head).

Methods in net.sf.tweety.lp.asp.syntax that return ASPRule

Modifier and Type	Method	Description
ASPRule	ASPRule.clone()
ASPRule	ASPRule.exchange(Term<?> v, Term<?> t)
ASPRule	ASPRule.substitute(Term<?> v, Term<?> t)

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type ASPRule

Modifier and Type	Method	Description
java.util.Set<ASPRule>	Program.getRules()	Returns all rules of the program.

Methods in net.sf.tweety.lp.asp.syntax with parameters of type ASPRule

Modifier and Type	Method	Description
int	ASPRule.compareTo(ASPRule arg0)
boolean	Program.contains(ASPRule r)	Returns true if the program contains a given rule.

Method parameters in net.sf.tweety.lp.asp.syntax with type arguments of type ASPRule

Modifier and Type	Method	Description
void	Program.addAll(java.util.List<ASPRule> rules)

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

Constructor	Description
ASPRule(ASPRule other)	Copy-Constructor

Constructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type ASPRule

Constructor	Description
Program(java.util.Collection<ASPRule> rules)	Creates a new program with the given rules.
Program(ASPLiteral query, java.util.Set<ASPRule> rules)	Creates a new program with the given query and rules.

Uses of ASPRule in net.sf.tweety.lp.asp.writer

Methods in net.sf.tweety.lp.asp.writer with parameters of type ASPRule

Modifier and Type	Method	Description
private java.lang.String	ClingoWriter.printRule(ASPRule r)	Creates string representation of a single rule in Clingo format.