Uses of Interface
org.tweetyproject.commons.util.rules.Rule

Packages that use Rule

Package	Description
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.arg.deductive.syntax
org.tweetyproject.arg.delp.syntax
org.tweetyproject.arg.saf.syntax
org.tweetyproject.commons.util.rules
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.commons.syntax.interfaces
org.tweetyproject.logics.pcl.syntax
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rpcl.syntax
org.tweetyproject.logics.translators
org.tweetyproject.lp.asp.syntax
org.tweetyproject.lp.nlp.syntax

Uses of Rule in org.tweetyproject.arg.aba.syntax

Classes in org.tweetyproject.arg.aba.syntax that implement Rule

Modifier and Type	Class	Description
class	AbaRule<T extends Formula>	A common interface for assumptions and inference rules.
class	Assumption<T extends Formula>	This class models an assumption of an ABA theory.
class	InferenceRule<T extends Formula>	This class models an inference rule from an ABA theory.

Uses of Rule in org.tweetyproject.arg.aspic.syntax

Classes in org.tweetyproject.arg.aspic.syntax that implement Rule

Modifier and Type	Class	Description
class	DefeasibleInferenceRule<T extends Invertable>	Defeasible implementation of InferenceRule<T>
class	InferenceRule<T extends Invertable>	This stands for an inference rule or for a premise if premises has length 0.
class	StrictInferenceRule<T extends Invertable>	Indefeasible implementation of InferenceRule<T>

Uses of Rule in org.tweetyproject.arg.deductive.syntax

Classes in org.tweetyproject.arg.deductive.syntax that implement Rule

Modifier and Type	Class	Description
class	SimplePlRule	Represents a simple propositional logic rule.

Uses of Rule in org.tweetyproject.arg.delp.syntax

Classes in org.tweetyproject.arg.delp.syntax that implement Rule

Modifier and Type	Class	Description
class	DefeasibleRule	This class models a defeasible rule in defeasible logic programming.
final class	DelpFact	This class implements a fact in defeasible logic programming which encapsulates a literal.
class	DelpRule	This method is the superclass for both a strict rule and a defeasible rule in defeasible logic programming and captures their common attributes and methods.
class	StrictRule	This class models a strict rule in defeasible logic programming.

Uses of Rule in org.tweetyproject.arg.saf.syntax

Classes in org.tweetyproject.arg.saf.syntax that implement Rule

Modifier and Type	Class	Description
class	BasicArgument	This class models a basic argument in structured argumentation frameworks, i.e.

Uses of Rule in org.tweetyproject.commons.util.rules

Classes in org.tweetyproject.commons.util.rules with type parameters of type Rule

Modifier and Type	Class	Description
class	Derivation<T extends Rule<?,?>>	This class models a derivation, i.e.
class	RuleSet<T extends Rule<?,?>>	This class represents a set of rules and provides several auxiliary methods for accessing such a set.

Methods in org.tweetyproject.commons.util.rules with type parameters of type Rule

Modifier and Type	Method	Description
static <S extends Rule<?, ?>> Set<Derivation<S>>	Derivation.allDerivations(Collection<? extends S> rules)	Returns the set of all possible derivations from the set of rules.
static <S extends Rule<?, ?>> Set<Derivation<S>>	Derivation.allDerivations(Collection<? extends S> rules, Formula conclusion)	Returns the set of all possible derivations with the given conclusion from the set of rules.

Uses of Rule in org.tweetyproject.logics.cl.syntax

Classes in org.tweetyproject.logics.cl.syntax that implement Rule

Modifier and Type	Class	Description
class	Conditional	This class represents a basic conditional (B|A) with formulas A,B.

Uses of Rule in org.tweetyproject.logics.commons.syntax.interfaces

Classes in org.tweetyproject.logics.commons.syntax.interfaces with type parameters of type Rule

Modifier and Type	Interface	Description
interface	LogicProgram<C extends Formula,P extends Formula,T extends Rule<?,?>>	An interface for a logic program, which is a set of rules.

Uses of Rule in org.tweetyproject.logics.pcl.syntax

Classes in org.tweetyproject.logics.pcl.syntax that implement Rule

Modifier and Type	Class	Description
class	ProbabilisticConditional	This class represents a probabilistic conditional of the form (B|A)[p] with formulas A,B and a probability p.

Uses of Rule in org.tweetyproject.logics.rcl.syntax

Classes in org.tweetyproject.logics.rcl.syntax that implement Rule

Modifier and Type	Class	Description
class	RelationalConditional	Instances of this class represent relational conditionals.

Uses of Rule in org.tweetyproject.logics.rpcl.syntax

Classes in org.tweetyproject.logics.rpcl.syntax that implement Rule

Modifier and Type	Class	Description
class	RelationalProbabilisticConditional	This class represents a relational probabilistic conditional, i.e.

Uses of Rule in org.tweetyproject.logics.translators

Methods in org.tweetyproject.logics.translators that return Rule

Modifier and Type	Method	Description
Rule<?,?>	Translator.translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source, Class<?> ruleCls)	Translates the given source rule into an instance of the target rule class.

Methods in org.tweetyproject.logics.translators with parameters of type Rule

Modifier and Type	Method	Description
Rule<?,?>	Translator.translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source, Class<?> ruleCls)	Translates the given source rule into an instance of the target rule class.

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

Classes in org.tweetyproject.lp.asp.syntax that implement Rule

Modifier and Type	Class	Description
class	ASPRule	This class models a rule in ASP.

Uses of Rule in org.tweetyproject.lp.nlp.syntax

Classes in org.tweetyproject.lp.nlp.syntax that implement Rule

Modifier and Type	Class	Description
class	NLPRule	A rule of a nested logic program.