Uses of Interface
net.sf.tweety.commons.util.rules.Rule

Packages that use Rule

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

Uses of Rule in net.sf.tweety.arg.aba.syntax

Classes in net.sf.tweety.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 net.sf.tweety.arg.aspic.syntax

Classes in net.sf.tweety.arg.aspic.syntax that implement Rule

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

Uses of Rule in net.sf.tweety.arg.deductive.syntax

Classes in net.sf.tweety.arg.deductive.syntax that implement Rule

Modifier and Type	Class	Description
class	SimplePlRule	Basic data structure for handling simple rule

Uses of Rule in net.sf.tweety.arg.delp.syntax

Classes in net.sf.tweety.arg.delp.syntax that implement Rule

Modifier and Type	Class	Description
class	DefeasibleRule	This class models a defeasible rule in defeasible logic programming.
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 net.sf.tweety.arg.saf.syntax

Classes in net.sf.tweety.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 net.sf.tweety.commons.util.rules

Classes in net.sf.tweety.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 net.sf.tweety.commons.util.rules with type parameters of type Rule

Modifier and Type	Method	Description
static <S extends Rule<?,?>> java.util.Set<Derivation<S>>	Derivation.allDerivations(java.util.Collection<? extends S> rules)	Returns the set of all possible derivations from the set of rules.
static <S extends Rule<?,?>> java.util.Set<Derivation<S>>	Derivation.allDerivations(java.util.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 net.sf.tweety.logics.cl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax.interfaces

Classes in net.sf.tweety.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 net.sf.tweety.logics.pcl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.rcl.syntax

Classes in net.sf.tweety.logics.rcl.syntax that implement Rule

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

Uses of Rule in net.sf.tweety.logics.rpcl.syntax

Classes in net.sf.tweety.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 net.sf.tweety.logics.translators

Methods in net.sf.tweety.logics.translators that return Rule

Modifier and Type	Method	Description
Rule<?,?>	Translator.translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source, java.lang.Class<?> ruleCls)

Methods in net.sf.tweety.logics.translators with parameters of type Rule

Modifier and Type	Method	Description
Rule<?,?>	Translator.translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source, java.lang.Class<?> ruleCls)

Uses of Rule in net.sf.tweety.lp.asp.syntax

Classes in net.sf.tweety.lp.asp.syntax that implement Rule

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

Uses of Rule in net.sf.tweety.lp.nlp.syntax

Classes in net.sf.tweety.lp.nlp.syntax that implement Rule

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