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

Packages that use DefaultTheory

Package	Description
net.sf.tweety.logics.rdl
net.sf.tweety.logics.rdl.parser
net.sf.tweety.logics.rdl.semantics
net.sf.tweety.logics.rdl.syntax

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

Methods in net.sf.tweety.logics.rdl that return DefaultTheory

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

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(java.io.Reader reader)

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

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 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