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(Comparator<InferenceRule<T>> rule_comp, Comparator<InferenceRule<T>> prem_comp, boolean elitist)	Constructs a new last link ordering
WeakestLinkOrder(Comparator<InferenceRule<T>> rule_comp, 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 net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
class	StrictInferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.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(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
InferenceRule<T>	AspicArgument.getTopRule()	Retruns the TopRule according to ASPIC+ specification
InferenceRule<T>	InferenceRule.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
abstract InferenceRule<T>	InferenceRule.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

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

Modifier and Type	Method	Description
Set<InferenceRule<T>>	InferenceRule.allGroundInstances(Set<net.sf.tweety.logics.commons.syntax.Constant> constants)
Collection<InferenceRule<T>>	AspicArgument.getAllRules()	Returns all rules appearing in this argument.
Collection<InferenceRule<T>>	AspicArgument.getDefeasibleRules()	Returns the DefRules according to ASPIC+ specification, i.e.
Collection<InferenceRule<T>>	AspicArgument.getListLastDefeasibleRules()	Returns all defeasible subrules of the level where the first defeasible subrule appears, i.e.
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, Collection<AspicArgument<T>> directsubs)	Creates an empty Argument