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

Packages that use DefaultRule

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

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

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

Modifier and Type	Method	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	Description
DefaultSequence(DefaultSequence ds, DefaultRule d)	constructs a sequence by appending d to ds

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

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

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

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

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