Uses of Class
net.sf.tweety.commons.util.rules.RuleSet
-
Packages that use RuleSet Package Description net.sf.tweety.arg.aspic.syntax net.sf.tweety.commons.util.rules net.sf.tweety.lp.asp.syntax net.sf.tweety.lp.nlp.syntax -
-
Uses of RuleSet in net.sf.tweety.arg.aspic.syntax
Subclasses of RuleSet in net.sf.tweety.arg.aspic.syntax Modifier and Type Class Description class
AspicArgumentationTheory<T extends Invertable>
-
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. -
Uses of RuleSet in net.sf.tweety.lp.asp.syntax
Subclasses of RuleSet in net.sf.tweety.lp.asp.syntax Modifier and Type Class Description class
Program
This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Uses of RuleSet in net.sf.tweety.lp.nlp.syntax
Subclasses of RuleSet in net.sf.tweety.lp.nlp.syntax Modifier and Type Class Description class
NLPProgram
A nested logic program
-