Uses of Class
org.tweetyproject.logics.rdl.syntax.DefaultTheory

Packages that use DefaultTheory

Package	Description
org.tweetyproject.logics.rdl.parser
org.tweetyproject.logics.rdl.reasoner
org.tweetyproject.logics.rdl.semantics
org.tweetyproject.logics.rdl.syntax

Uses of DefaultTheory in org.tweetyproject.logics.rdl.parser

Methods in org.tweetyproject.logics.rdl.parser that return DefaultTheory

Modifier and Type	Method	Description
DefaultTheory	RdlParser.parseBeliefBase(Reader reader)

Uses of DefaultTheory in org.tweetyproject.logics.rdl.reasoner

Methods in org.tweetyproject.logics.rdl.reasoner with parameters of type DefaultTheory

Modifier and Type	Method	Description
Extension	SimpleDefaultReasoner.getModel(DefaultTheory bbase)
Collection<Extension>	SimpleDefaultReasoner.getModels(DefaultTheory bbase)
Boolean	SimpleDefaultReasoner.query(DefaultTheory theory, FolFormula query)
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 org.tweetyproject.logics.rdl.semantics

Methods in org.tweetyproject.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 org.tweetyproject.logics.rdl.semantics with parameters of type DefaultTheory

Modifier	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 org.tweetyproject.logics.rdl.syntax

Methods in org.tweetyproject.logics.rdl.syntax that return DefaultTheory

Modifier and Type	Method	Description
DefaultTheory	DefaultTheory.ground()	Removes Variables by expanding formulas

Methods in org.tweetyproject.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