Uses of Class
org.tweetyproject.lp.asp.syntax.ASPRule

Packages that use ASPRule

Package	Description
org.tweetyproject.arg.lp.syntax
org.tweetyproject.lp.asp.beliefdynamics.baserevision
org.tweetyproject.lp.asp.beliefdynamics.revision
org.tweetyproject.lp.asp.beliefdynamics.selectiverevision
org.tweetyproject.lp.asp.parser
org.tweetyproject.lp.asp.semantics
org.tweetyproject.lp.asp.syntax

Uses of ASPRule in org.tweetyproject.arg.lp.syntax

Constructors in org.tweetyproject.arg.lp.syntax with parameters of type ASPRule

Modifier	Constructor	Description
	Argument(ASPRule rule)

Constructor parameters in org.tweetyproject.arg.lp.syntax with type arguments of type ASPRule

Modifier	Constructor	Description
	Argument(List<ASPRule> rules)

Uses of ASPRule in org.tweetyproject.lp.asp.beliefdynamics.baserevision

Methods in org.tweetyproject.lp.asp.beliefdynamics.baserevision that return types with arguments of type ASPRule

Modifier and Type	Method	Description
Collection<ASPRule>	ScreenedMaxichoiceConsolidation.consolidate(Collection<ASPRule> p)
Collection<ASPRule>	ELPBaseRevisionOperator.revise(Collection<ASPRule> base, Collection<ASPRule> formulas)
Collection<ASPRule>	MonotoneGlobalMaxichoiceSelectionFunction.select(RemainderSets<ASPRule> remainderSets)
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 org.tweetyproject.lp.asp.beliefdynamics.baserevision with type arguments of type ASPRule

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

Constructor parameters in org.tweetyproject.lp.asp.beliefdynamics.baserevision with type arguments of type ASPRule

Modifier	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 org.tweetyproject.lp.asp.beliefdynamics.revision

Method parameters in org.tweetyproject.lp.asp.beliefdynamics.revision with type arguments of type ASPRule

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

Uses of ASPRule in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision

Methods in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision that return types with arguments of type ASPRule

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

Methods in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision with parameters of type ASPRule

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

Method parameters in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision with type arguments of type ASPRule

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

Constructor parameters in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision with type arguments of type ASPRule

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

Uses of ASPRule in org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.lp.asp.parser that return ASPRule

Modifier and Type	Method	Description
static ASPRule	ASPParser.parseRule(Reader reader)
static ASPRule	ASPParser.parseRule(String rule)
ASPRule	InstantiateVisitor.visit(ASTOpt node, Object data)
ASPRule	InstantiateVisitor.visit(ASTRule node, Object data)

Methods in org.tweetyproject.lp.asp.parser that return types with arguments of type ASPRule

Modifier and Type	Method	Description
List<ASPRule>	InstantiateVisitor.visit(ASTRuleList node, Object data)

Uses of ASPRule in org.tweetyproject.lp.asp.semantics

Methods in org.tweetyproject.lp.asp.semantics with parameters of type ASPRule

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

Uses of ASPRule in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.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 org.tweetyproject.lp.asp.syntax with parameters of type ASPRule

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

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPRule

Modifier	Constructor	Description
	ASPRule(ASPRule other)	Copy-Constructor
	Program(ASPRule... rules)	Creates a new program with the given rules.

Constructor parameters in org.tweetyproject.lp.asp.syntax with type arguments of type ASPRule

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