Uses of Class
net.sf.tweety.logics.rdl.syntax.DefaultRule
-
Packages that use DefaultRule Package Description net.sf.tweety.logics.rdl.examples net.sf.tweety.logics.rdl.semantics net.sf.tweety.logics.rdl.syntax -
-
Uses of DefaultRule in net.sf.tweety.logics.rdl.examples
Methods in net.sf.tweety.logics.rdl.examples that return types with arguments of type DefaultRule Modifier and Type Method Description (package private) static java.util.List<DefaultRule>
RdlExample. createTestSet(RdlParser parser, java.lang.String... list)
-
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 Description private java.util.List<DefaultRule>
DefaultSequence. defaults
the sequence of defaultsMethods 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 DefaultSequenceboolean
DefaultSequence. isApplicable(DefaultRule d)
applicable ^= pre in In and (not jus_i) not in In forall iConstructors 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
Fields in net.sf.tweety.logics.rdl.syntax with type parameters of type DefaultRule Modifier and Type Field Description private java.util.Collection<DefaultRule>
DefaultTheory. defaults
The set of default rulesMethods 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()
Methods in net.sf.tweety.logics.rdl.syntax with parameters of type DefaultRule Modifier and Type Method Description (package private) void
DefaultTheory. addDefault(DefaultRule d)
adds default rule(package private) void
DefaultTheory. removeDefault(DefaultRule d)
removes default ruleConstructor 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
-