public class DefaultSequence
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.List<DefaultRule> |
defaults
the sequence of defaults
|
private FolBeliefSet |
in
the in set
|
private java.util.Set<FolFormula> |
out
the out set
|
(package private) boolean |
process
true if the sequence is a process
|
Constructor and Description |
---|
DefaultSequence(DefaultSequence ds,
DefaultRule d)
constructs a sequence by appending d to ds
|
DefaultSequence(DefaultTheory dt)
constructs an empty sequence of defaults of the default theory dt
|
Modifier and Type | Method and Description |
---|---|
DefaultSequence |
app(DefaultRule d)
Constructs a new DefaultSequence
|
java.util.Collection<FolFormula> |
getIn() |
java.util.Collection<FolFormula> |
getOut() |
boolean |
isApplicable(DefaultRule d)
applicable ^= pre in In and (not jus_i) not in In forall i
|
boolean |
isClosed(DefaultTheory t)
Tests wether all applicble defaukts from t have been applied
|
boolean |
isProcess()
process <=> all defaults are unique and applicable in sequence
|
boolean |
isSuccessful()
successfull <=> there is no x: x in In and x in Out
|
java.lang.String |
toString() |
private java.util.List<DefaultRule> defaults
private java.util.Set<FolFormula> out
private FolBeliefSet in
boolean process
public DefaultSequence(DefaultTheory dt)
dt
- a default theory, from which defaults will be added to the sequencepublic DefaultSequence(DefaultSequence ds, DefaultRule d)
ds
- d
- public DefaultSequence app(DefaultRule d)
d
- public boolean isApplicable(DefaultRule d)
d
- public java.util.Collection<FolFormula> getIn()
public java.util.Collection<FolFormula> getOut()
public boolean isProcess()
public boolean isSuccessful()
public boolean isClosed(DefaultTheory t)
public java.lang.String toString()
toString
in class java.lang.Object