Uses of Class
org.tweetyproject.arg.aspic.syntax.InferenceRule

Packages that use InferenceRule

Package	Description
org.tweetyproject.arg.aspic.order
org.tweetyproject.arg.aspic.syntax

Uses of InferenceRule in org.tweetyproject.arg.aspic.order

Methods in org.tweetyproject.arg.aspic.order with parameters of type InferenceRule

Modifier and Type	Method	Description
int	RuleComparator.compare(InferenceRule<T> o1, InferenceRule<T> o2)
boolean	RuleComparator.isIncomparable(InferenceRule<T> a, InferenceRule<T> b)
boolean	RuleComparator.isStrictlyLessOrEquallyAcceptableThan(InferenceRule<T> a, InferenceRule<T> b)
boolean	RuleComparator.satisfies(InferenceRule<T> formula)

Constructor parameters in org.tweetyproject.arg.aspic.order with type arguments of type InferenceRule

Modifier	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 org.tweetyproject.arg.aspic.syntax

Subclasses of InferenceRule in org.tweetyproject.arg.aspic.syntax

Modifier and Type	Class	Description
class	DefeasibleInferenceRule<T extends Invertable>	Defeasible implementation of InferenceRule<T>
class	StrictInferenceRule<T extends Invertable>	Indefeasible implementation of InferenceRule<T>

Methods in org.tweetyproject.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(Map<? extends Term<?>,? extends Term<?>> map)
abstract InferenceRule<T>	InferenceRule.substitute(Term<?> v, Term<?> t)

Methods in org.tweetyproject.arg.aspic.syntax that return types with arguments of type InferenceRule

Modifier and Type	Method	Description
Set<InferenceRule<T>>	InferenceRule.allGroundInstances(Set<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 org.tweetyproject.arg.aspic.syntax with parameters of type InferenceRule

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

Constructors in org.tweetyproject.arg.aspic.syntax with parameters of type InferenceRule

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