Uses of Class net.sf.tweety.logics.rdl.syntax.DefaultTheory

Packages that use DefaultTheory
Package	Description
net.sf.tweety.logics.rdl.parser
net.sf.tweety.logics.rdl.reasoner
net.sf.tweety.logics.rdl.semantics
net.sf.tweety.logics.rdl.syntax

Uses of DefaultTheory in net.sf.tweety.logics.rdl.parser

Methods in net.sf.tweety.logics.rdl.parser that return DefaultTheory
Modifier and Type Method Description

DefaultTheory RdlParser.parseBeliefBase(java.io.Reader reader)

Uses of DefaultTheory in net.sf.tweety.logics.rdl.reasoner

Methods in net.sf.tweety.logics.rdl.reasoner with parameters of type DefaultTheory
Modifier and Type	Method	Description
`Extension`	SimpleDefaultReasoner.`getModel(DefaultTheory bbase)`
`java.util.Collection<Extension>`	SimpleDefaultReasoner.`getModels(DefaultTheory bbase)`
`java.lang.Boolean`	SimpleDefaultReasoner.`query(DefaultTheory theory, FolFormula query)`
`java.lang.Boolean`	SimpleDefaultReasoner.`query(DefaultTheory theory, FolFormula query, InferenceMode inferenceMode)`	Queries the given default theory for the given query using the given inference mode.

Uses of DefaultTheory in net.sf.tweety.logics.rdl.semantics

Methods in net.sf.tweety.logics.rdl.semantics with parameters of type DefaultTheory
Modifier and Type	Method	Description
`boolean`	DefaultSequence.`isClosed(DefaultTheory t)`	Tests wether all applicble defaukts from t have been applied
`boolean`	Extension.`satisfies(DefaultTheory beliefBase)`

Constructors in net.sf.tweety.logics.rdl.semantics with parameters of type DefaultTheory
Constructor	Description
`DefaultProcessTree(DefaultTheory t)`	constructs a default process tree out of the default theory t
`DefaultSequence(DefaultTheory dt)`	constructs an empty sequence of defaults of the default theory dt

Uses of DefaultTheory in net.sf.tweety.logics.rdl.syntax

Methods in net.sf.tweety.logics.rdl.syntax that return DefaultTheory
Modifier and Type	Method	Description
`DefaultTheory`	DefaultTheory.`ground()`	Removes Variables by expanding formulas

Methods in net.sf.tweety.logics.rdl.syntax with parameters of type DefaultTheory
Modifier and Type	Method	Description
`boolean`	DefaultRule.`isNormal(DefaultTheory dt)`	Tests, whether the default is normal normal ^= a:c/c