net.sf.tweety.logics.rdl.semantics

Class DefaultSequence

java.lang.Object

net.sf.tweety.logics.rdl.semantics.DefaultSequence

public class DefaultSequence
extends Object

sequence of defaults

Author:

Nils Geilen

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
DefaultSequence	app(DefaultRule d) Constructs a new DefaultSequence
Collection<net.sf.tweety.logics.fol.syntax.FolFormula>	getIn()
Collection<net.sf.tweety.logics.fol.syntax.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
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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 -

d -

Method Detail

app

public DefaultSequence app(DefaultRule d)

Constructs a new DefaultSequence

Parameters:

d -

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 -

Returns:

true iff d is applicable to In

getIn

public Collection<net.sf.tweety.logics.fol.syntax.FolFormula> getIn()

Returns:

the sequence's in set

getOut

public Collection<net.sf.tweety.logics.fol.syntax.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

Returns:

true iff every possible default is applied

toString

public String toString()

Overrides:

toString in class Object