Class DefaultSequence
- java.lang.Object
-
- net.sf.tweety.logics.rdl.semantics.DefaultSequence
-
public class DefaultSequence extends java.lang.Object
sequence of defaults- Author:
- Nils Geilen
-
-
Constructor Summary
Constructors Constructor Description DefaultSequence(DefaultSequence ds, DefaultRule d)
constructs a sequence by appending d to dsDefaultSequence(DefaultTheory dt)
constructs an empty sequence of defaults of the default theory dt
-
Method Summary
Modifier and Type Method Description DefaultSequence
app(DefaultRule d)
Constructs a new DefaultSequencejava.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 iboolean
isClosed(DefaultTheory t)
Tests wether all applicble defaukts from t have been appliedboolean
isProcess()
process <=> all defaults are unique and applicable in sequenceboolean
isSuccessful()
successfull <=> there is no x: x in In and x in Outjava.lang.String
toString()
-
-
-
Constructor Detail
-
DefaultSequence
public DefaultSequence(DefaultTheory dt)
constructs an empty sequence of defaults of the default theory dt- Parameters:
dt
- a default theory, from which defaults will be added to the sequence
-
DefaultSequence
public DefaultSequence(DefaultSequence ds, DefaultRule d)
constructs a sequence by appending d to ds- Parameters:
ds
- a default sequenced
- a default rule
-
-
Method Detail
-
app
public DefaultSequence app(DefaultRule d)
Constructs a new DefaultSequence- Parameters:
d
- a default rule- Returns:
- new Sequence adding d to this
-
isApplicable
public boolean isApplicable(DefaultRule d)
applicable ^= pre in In and (not jus_i) not in In forall i- Parameters:
d
- a default rule- Returns:
- true iff d is applicable to In
-
getIn
public java.util.Collection<FolFormula> getIn()
- Returns:
- the sequence's in set
-
getOut
public java.util.Collection<FolFormula> getOut()
- Returns:
- the sequence's out set
-
isProcess
public boolean isProcess()
process <=> all defaults are unique and applicable in sequence- Returns:
- true iff is process
-
isSuccessful
public boolean isSuccessful()
successfull <=> there is no x: x in In and x in Out- Returns:
- true iff successfull
-
isClosed
public boolean isClosed(DefaultTheory t)
Tests wether all applicble defaukts from t have been applied- Parameters:
t
- a default theory- Returns:
- true iff every possible default is applied
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-