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 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.
-