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

Packages that use DefaultRule

Package	Description
net.sf.tweety.logics.rdl
net.sf.tweety.logics.rdl.semantics
net.sf.tweety.logics.rdl.test

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

Fields in net.sf.tweety.logics.rdl with type parameters of type DefaultRule

Modifier and Type	Field and Description
private java.util.Collection<DefaultRule>	DefaultTheory.defaults The set of default rules

Methods in net.sf.tweety.logics.rdl that return types with arguments of type DefaultRule

Modifier and Type	Method and Description
java.util.Collection<DefaultRule>	DefaultTheory.getDefaults()

Methods in net.sf.tweety.logics.rdl with parameters of type DefaultRule

Modifier and Type	Method and Description
(package private) void	DefaultTheory.addDefault(DefaultRule d) adds default rule
(package private) void	DefaultTheory.removeDefault(DefaultRule d) removes default rule

Constructor parameters in net.sf.tweety.logics.rdl with type arguments of type DefaultRule

Constructor and Description
DefaultTheory(FolBeliefSet facts, java.util.Collection<DefaultRule> defaults) constructs a default theory from a knowledge base and a set of defaults

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

Fields in net.sf.tweety.logics.rdl.semantics with type parameters of type DefaultRule

Modifier and Type	Field and Description
private java.util.List<DefaultRule>	DefaultSequence.defaults the sequence of defaults

Methods in net.sf.tweety.logics.rdl.semantics with parameters of type DefaultRule

Modifier and Type	Method and Description
DefaultSequence	DefaultSequence.app(DefaultRule d) Constructs a new DefaultSequence
boolean	DefaultSequence.isApplicable(DefaultRule d) applicable ^= pre in In and (not jus_i) not in In forall i

Constructors in net.sf.tweety.logics.rdl.semantics with parameters of type DefaultRule

Constructor and Description
DefaultSequence(DefaultSequence ds, DefaultRule d) constructs a sequence by appending d to ds

Uses of DefaultRule in net.sf.tweety.logics.rdl.test

Methods in net.sf.tweety.logics.rdl.test that return types with arguments of type DefaultRule

Modifier and Type	Method and Description
(package private) static java.util.List<DefaultRule>	RDLTest.createTestSet(RdlParser parser, java.lang.String... list)