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

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.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)
DefaultSequence(DefaultTheory 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, wether the defautl is normal normal ^= a:c/c