Uses of Class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory

Packages that use AspicArgumentationTheory
Package	Description
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.aspic.util
net.sf.tweety.arg.aspic.writer

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.parser

Methods in net.sf.tweety.arg.aspic.parser that return AspicArgumentationTheory
Modifier and Type	Method	Description
`AspicArgumentationTheory<T>`	AspicParser.`parseBeliefBase(java.io.Reader reader)`

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.reasoner

Methods in net.sf.tweety.arg.aspic.reasoner with parameters of type AspicArgumentationTheory
Modifier and Type	Method	Description
`DungTheory`	DirectionalAspicReasoner.`asRestrictedDungTheory(AspicArgumentationTheory<T> aat, boolean simplifyArgumentStructure, T conc)`	Generate restricted AF based on given theory and conclusion.
`private java.util.Set<AspicArgument<T>>`	DirectionalAspicReasoner.`constructArgsWithConclusion(AspicArgumentationTheory<T> aat, T conc, java.util.Set<T> conclusions)`
`private java.util.Collection<AspicArgument<T>>`	DirectionalAspicReasoner.`getArgsRec(AspicArgumentationTheory<T> aat, T conc)`	Gets the arguments recursively
`abstract DungTheory`	AbstractAspicReasoner.`getDungTheory(AspicArgumentationTheory<T> aat, T query)`	Computes the Dung theory from which the answer will be derived
`DungTheory`	DirectionalAspicReasoner.`getDungTheory(AspicArgumentationTheory<T> aat, T query)`
`DungTheory`	ModuleBasedAspicReasoner.`getDungTheory(AspicArgumentationTheory<T> aat, T query)`
`DungTheory`	RandomAspicReasoner.`getDungTheory(AspicArgumentationTheory<T> aat, T query)`
`DungTheory`	SimpleAspicReasoner.`getDungTheory(AspicArgumentationTheory<T> aat, T query)`
`java.lang.Boolean`	AbstractAspicReasoner.`query(AspicArgumentationTheory<T> aat, T query)`
`java.lang.Boolean`	AbstractAspicReasoner.`query(AspicArgumentationTheory<T> aat, T query, InferenceMode inferenceMode)`	Queries the given AspicArgumentationTheory for the given formula using the given inference type.

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.ruleformulagenerator

Methods in net.sf.tweety.arg.aspic.ruleformulagenerator with parameters of type AspicArgumentationTheory
Modifier and Type	Method	Description
`DefeasibleInferenceRule<T>`	RuleFormulaGenerator.`getInferenceRule(T formula, AspicArgumentationTheory<T> kb)`	Transforms a formula of type `T` into a corresponding defeasible ASPIC inference rule form the knowledge base `kb`

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.util

Methods in net.sf.tweety.arg.aspic.util that return AspicArgumentationTheory
Modifier and Type	Method	Description
`static AspicArgumentationTheory<PlFormula>`	RandomAspicArgumentationTheoryGenerator.`next(int numPropositions, int numFormulas, int maxBodyLiterals, double probStrict)`	Generates a random ASPIC argumentation theory with `numPropositions` and `numFormulas` formulas (inference rules).

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.writer

Methods in net.sf.tweety.arg.aspic.writer with parameters of type AspicArgumentationTheory
Modifier and Type	Method	Description
`void`	AspicWriter.`write(AspicArgumentationTheory<T> theory, java.io.File f)`	Writes the given ASPIC+ theory to disk.