Uses of Class
net.sf.tweety.arg.aspic.syntax.InferenceRule

Packages that use InferenceRule

Package	Description
net.sf.tweety.arg.aspic.order
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.aspic.syntax

Uses of InferenceRule in net.sf.tweety.arg.aspic.order

Fields in net.sf.tweety.arg.aspic.order with type parameters of type InferenceRule

Modifier and Type	Field	Description
private java.util.Comparator<java.util.Collection<InferenceRule<T>>>	LastLinkOrder.premset_comp
private java.util.Comparator<java.util.Collection<InferenceRule<T>>>	WeakestLinkOrder.premset_comp
(package private) java.util.Comparator<InferenceRule<T>>	SimpleAspicOrder.rule_comp
private java.util.Comparator<java.util.Collection<InferenceRule<T>>>	LastLinkOrder.ruleset_comp	Comparators for defeasible rules and ordinary premises
private java.util.Comparator<java.util.Collection<InferenceRule<T>>>	WeakestLinkOrder.ruleset_comp	Comparators for defeasible rules and ordinary premises

Methods in net.sf.tweety.arg.aspic.order with parameters of type InferenceRule

Modifier and Type	Method	Description
int	RuleComparator.compare(InferenceRule<T> o1, InferenceRule<T> o2)

Constructor parameters in net.sf.tweety.arg.aspic.order with type arguments of type InferenceRule

Constructor	Description
LastLinkOrder(java.util.Comparator<InferenceRule<T>> rule_comp, java.util.Comparator<InferenceRule<T>> prem_comp, boolean elitist)	Constructs a new last link ordering
WeakestLinkOrder(java.util.Comparator<InferenceRule<T>> rule_comp, java.util.Comparator<InferenceRule<T>> prem_comp, boolean elitist)	Constructs a new weakest link ordering

Uses of InferenceRule in net.sf.tweety.arg.aspic.reasoner

Method parameters in net.sf.tweety.arg.aspic.reasoner with type arguments of type InferenceRule

Modifier and Type	Method	Description
private AspicArgument<T>	RandomAspicReasoner.sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules)	Samples a single ASPIC argument via a random search.
private AspicArgument<T>	RandomAspicReasoner.sampleArgument(java.util.Map<T,java.util.List<InferenceRule<T>>> rules, T conclusion, java.util.Set<T> conclusions)	Samples a single ASPIC argument for the given conclusion via a random search.

Uses of InferenceRule in net.sf.tweety.arg.aspic.syntax

Subclasses of InferenceRule in net.sf.tweety.arg.aspic.syntax

Modifier and Type	Class	Description
class	DefeasibleInferenceRule<T extends Invertable>
class	StrictInferenceRule<T extends Invertable>

Fields in net.sf.tweety.arg.aspic.syntax declared as InferenceRule

Modifier and Type	Field	Description
private InferenceRule<T>	AspicArgument.toprule	The srgument's top rule

Methods in net.sf.tweety.arg.aspic.syntax that return InferenceRule

Modifier and Type	Method	Description
InferenceRule<T>	AspicArgument.getTopRule()	Retruns the TopRule according to ASPIC+ specification

Methods in net.sf.tweety.arg.aspic.syntax that return types with arguments of type InferenceRule

Modifier and Type	Method	Description
java.util.Collection<InferenceRule<T>>	AspicArgument.getAllRules()	Returns all rules appearing in this argument.
java.util.Collection<InferenceRule<T>>	AspicArgument.getDefeasibleRules()	Returns the DefRules according to ASPIC+ specification, i.e.
java.util.Collection<InferenceRule<T>>	AspicArgument.getListLastDefeasibleRules()	Returns all defeasible subrules of the level where the first defeasible subrule appears, i.e.

Methods in net.sf.tweety.arg.aspic.syntax with parameters of type InferenceRule

Modifier and Type	Method	Description
void	AspicArgumentationTheory.addRule(InferenceRule<T> rule)	Adds an additional inference rule
void	AspicArgument.setTopRule(InferenceRule<T> toprule)	Changes the TopRule

Constructors in net.sf.tweety.arg.aspic.syntax with parameters of type InferenceRule

Constructor	Description
AspicArgument(InferenceRule<T> toprule)	Creates an empty Argument
AspicArgument(InferenceRule<T> toprule, java.util.Collection<AspicArgument<T>> directsubs)	Creates an empty Argument