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 and Description
DefaultTheory	RdlParser.parseBeliefBase(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 and Description
Extension	SimpleDefaultReasoner.getModel(DefaultTheory bbase)
Collection<Extension>	SimpleDefaultReasoner.getModels(DefaultTheory bbase)
Boolean	SimpleDefaultReasoner.query(DefaultTheory theory, net.sf.tweety.logics.fol.syntax.FolFormula query)
Boolean	SimpleDefaultReasoner.query(DefaultTheory theory, net.sf.tweety.logics.fol.syntax.FolFormula query, net.sf.tweety.commons.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 and 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 and 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 and 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 and Description
boolean	DefaultRule.isNormal(DefaultTheory dt) Tests, whether the default is normal normal ^= a:c/c