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

Packages that use Rule

Package	Description
net.sf.tweety.arg.lp
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.syntax

Uses of Rule in net.sf.tweety.arg.lp

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

Modifier and Type	Method and Description
private boolean	ArgumentationKnowledgeBase.isTrue(Rule rule, java.util.Set<DLPLiteral> 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 with type arguments of type Rule

Modifier and Type	Method and Description
private java.util.Set<Argument>	ArgumentationKnowledgeBase.getArguments(java.util.LinkedList<Rule> rules) Recursively constructions minimal arguments in a bottom-up fashion.
private java.util.Set<DLPLiteral>	ArgumentationKnowledgeBase.getDerivableLiterals(java.util.Collection<Rule> rules) This method returns the set of conclusions of all rules in the collection of rules given.
private java.util.Set<DLPLiteral>	ArgumentationKnowledgeBase.getOpenLiterals(java.util.Collection<Rule> 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

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

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

Constructor and Description
Argument(Rule rule)

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

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

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

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

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

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

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

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

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

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

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

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

Modifier and Type	Method and Description
java.util.Collection<Rule>	ScreenedMaxichoiceConsolidation.consolidate(java.util.Collection<Rule> p)
java.util.Collection<Rule>	ELPBaseRevisionOperator.revise(java.util.Collection<Rule> base, java.util.Collection<Rule> formulas)
java.util.Collection<Rule>	MonotoneGlobalMaxichoiceSelectionFunction.select(RemainderSets<Rule> remainderSets)
java.util.Collection<Rule>	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 Rule

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

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

Constructor and Description
ELPBaseRevisionOperator(Solver solver, SelectionFunction<Rule> selection)
ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<Rule> selection, Solver 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 Rule in net.sf.tweety.lp.asp.beliefdynamics.gui

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

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

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

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

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

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

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

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

Modifier and Type	Method and Description
protected static java.util.List<Pair<Rule,Rule>>	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<Rule,Rule>>	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 Rule

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Modifier and Type	Method and Description
int	Rule.compareTo(Rule arg0)

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

Constructor and Description
Rule(Rule other) Copy-Ctor: Makes a deep copy of the given rule

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

Constructor and Description
Program(java.util.Collection<Rule> base) Add all rules from base to this program.