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

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

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

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

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

Constructor and Description
DefaultTheory(net.sf.tweety.logics.fol.FolBeliefSet facts, 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

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