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.syntax

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

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.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>`

Methods in net.sf.tweety.arg.aspic.syntax that return InferenceRule
Modifier and Type	Method	Description
`abstract InferenceRule<T>`	InferenceRule.`clone()`
`InferenceRule<T>`	InferenceRule.`exchange(Term<?> v, Term<?> t)`
`InferenceRule<T>`	AspicArgument.`getTopRule()`	Retruns the TopRule according to ASPIC+ specification
`InferenceRule<T>`	InferenceRule.`substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)`
`abstract InferenceRule<T>`	InferenceRule.`substitute(Term<?> v, Term<?> t)`

Methods in net.sf.tweety.arg.aspic.syntax that return types with arguments of type InferenceRule
Modifier and Type	Method	Description
`java.util.Set<InferenceRule<T>>`	InferenceRule.`allGroundInstances(java.util.Set<Constant> constants)`
`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.
`java.util.Set<InferenceRule<T>>`	AspicArgumentationTheory.`groundFolRules()`

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