Uses of Class
net.sf.tweety.commons.util.rules.RuleSet

Packages that use RuleSet

Package	Description
net.sf.tweety.commons.util.rules

Uses of RuleSet in net.sf.tweety.commons.util.rules

Methods in net.sf.tweety.commons.util.rules that return RuleSet

Modifier and Type	Method and Description
RuleSet<T>	RuleSet.getSyntacticModule(Formula f) Returns the maximal subset of this rule set that is closed under "syntactic" neighbourhood relationship for the given formula.