Package org.tweetyproject.logics.rdl.semantics

Class DefaultSequence

java.lang.Object

org.tweetyproject.logics.rdl.semantics.DefaultSequence

public class DefaultSequence
extends Object

sequence of defaults

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor	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	Description
DefaultSequence	app(DefaultRule d)	Constructs a new DefaultSequence
Collection<FolFormula>	getIn()	Return the sequence's in set
Collection<FolFormula>	getOut()	Return the sequence's out set
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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

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 sequence

d - a default rule

Method Details

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 Collection<FolFormula> getIn()

Return the sequence's in set

Returns:

the sequence's in set

getOut

public Collection<FolFormula> getOut()

Return the sequence's out set

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 String toString()

Overrides:

toString in class Object