Package | Description |
---|---|
net.sf.tweety.logics.rdl | |
net.sf.tweety.logics.rdl.semantics | |
net.sf.tweety.logics.rdl.test |
Modifier and Type | Field and Description |
---|---|
private java.util.Collection<DefaultRule> |
DefaultTheory.defaults
The set of default rules
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<DefaultRule> |
DefaultTheory.getDefaults() |
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 and Description |
---|
DefaultTheory(FolBeliefSet facts,
java.util.Collection<DefaultRule> defaults)
constructs a default theory from a knowledge base and a set of defaults
|
Modifier and Type | Field and Description |
---|---|
private java.util.List<DefaultRule> |
DefaultSequence.defaults
the sequence of defaults
|
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
|
Constructor and Description |
---|
DefaultSequence(DefaultSequence ds,
DefaultRule d)
constructs a sequence by appending d to ds
|
Modifier and Type | Method and Description |
---|---|
(package private) static java.util.List<DefaultRule> |
RDLTest.createTestSet(RdlParser parser,
java.lang.String... list) |