Uses of Class
org.tweetyproject.commons.util.rules.RuleSet
-
Packages that use RuleSet Package Description org.tweetyproject.arg.aspic.syntax org.tweetyproject.commons.util.rules org.tweetyproject.lp.asp.syntax org.tweetyproject.lp.nlp.syntax -
-
Uses of RuleSet in org.tweetyproject.arg.aspic.syntax
Subclasses of RuleSet in org.tweetyproject.arg.aspic.syntax Modifier and Type Class Description class
AspicArgumentationTheory<T extends Invertable>
-
Uses of RuleSet in org.tweetyproject.commons.util.rules
Methods in org.tweetyproject.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 org.tweetyproject.lp.asp.syntax
Subclasses of RuleSet in org.tweetyproject.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 org.tweetyproject.lp.nlp.syntax
Subclasses of RuleSet in org.tweetyproject.lp.nlp.syntax Modifier and Type Class Description class
NLPProgram
A nested logic program
-